%0 Journal Article %A A. S. Kuzichev %T A theorem on consistency of the Zermelo--Fraenkel system $\mathrm{ZF}$ %J Doklady Akademii Nauk %D 1983 %P 1053-1057 %V 273 %N 5 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1983_273_5_a5/ %G ru %F DAN_1983_273_5_a5