%0 Journal Article %A N. K. Kossovski %T Sufficient conditions for incompleteness of formalized parts of arithmetic %J Zapiski Nauchnykh Seminarov POMI %D 1967 %P 44-57 %V 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a4/ %G ru %F ZNSL_1967_4_a4