Даглас Хофштадтер

Аналитическая машина ткет алгебраические узоры, наподобие того, как станок Жаккара ткет узоры из цветов и листьев»

Ахилл: Вот, послушайте… Два монаха спорили о флаге Один сказал; «Этот флаг движется». Другой возразил: «Нет, это ветер движется». В это время мимо проходил шестой патриарх, Зенон, который сказал монахам: «Не флаг и не ветер — движется ваша мысль!»

Короче, Гёдель показал, что понятие «доказуемости» уже, слабее понятия истинности вне зависимости от того, какую аксиоматическую систему мы выбираем.