%0 Journal Article %A P. S. Novikov %T On the uncontradictability of certain propositions of the descriptive theory of sets %J Informatics and Automation %D 1951 %P 279-316 %V 38 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1951_38_a17/ %G ru %F TRSPY_1951_38_a17