%0 Journal Article %A A. N. Rybalov %T Generic incompleteness of formal arithmetic %J Sibirskie èlektronnye matematičeskie izvestiâ %D 2015 %P 185-189 %V 12 %I mathdoc %U http://geodesic.mathdoc.fr/item/SEMR_2015_12_a5/ %G ru %F SEMR_2015_12_a5