33

33

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