GEB, стр. 74
Формальная система для простых чисел найдена.
Принцип: монотонность, однонаправленность.
Нет игры между укорачиванием и удлинением.
"Именно сложностью систем со взаимодействием вперёд-назад объясняются теорема Гёделя и проблема остановки Тьюринга."
🌀 ГЛАВА III ЗАВЕРШЕНА.