The monograph reflects research in the philosophy of mathematics, which is extremely important for understanding the relationship between formal systems and their philosophical interpretations. The focus is on interpretations of the Levenheim-Skolem theorem and the Kantor continuum hypothesis, as well as a discussion of set-theoretic axioms and logical languages ​ ​ of mathematics conducted over the past two decades. The book is intended for everyone interested in the philosophy of mathematics.