33
33
Терминология была предложена Хофштадтером в [202]. Согласно «другой» теореме Гёделя — так называемой теореме о полноте, — подобные нестандартные модели существуют всегда.
33
Терминология была предложена Хофштадтером в [202]. Согласно «другой» теореме Гёделя — так называемой теореме о полноте, — подобные нестандартные модели существуют всегда.