TY - JOUR AU - A. N. Rybalov TI - Generic G\"odel's incompleteness theorem JO - Algebra i logika PY - 2017 SP - 348 EP - 353 VL - 56 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_2017_56_3_a3/ LA - ru ID - AL_2017_56_3_a3 ER -