Literature Cited
K. Gödel, “Consistency of the axiom of choice and of the generalized continuum hypothesis,” Usp. Matem. Nauk,3, No. 1 (1948).
V. M. Glushkov, A. A. Letichevskii, Yu. V. Kapitonova, K. P. Vershinin, and N. P. Malevanyi, “Construction of a practical formal language for mathematical theories,” Kibernetika, No. 5 (1972).
K. P. Vershinin, “Remarks on a formal language for proofs,” Kibernetika, No. 5 (1972).
P. J. Cohen, Set Theory and the Continuum Hypothesis, Benjamin, New York (1966).
Additional information
Translated from Kibernetika, No. 4, pp. 68–73, July–August, 1973.
Rights and permissions
About this article
Cite this article
Vershinin, K.P. Relationship between formal language of mathematical theories and axiomatic systems of the theory of sets. Cybern Syst Anal 9, 621–627 (1973). https://doi.org/10.1007/BF01068586
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01068586