**GEB, стр. 23–24**
Программа Гильберта: доказать, что методы "Оснований математики":
1. Описывают ВСЮ математику (полнота)
2. Никогда не приведут к противоречиям (последовательность)
Гильберт бросил вызов математикам всего мира.
🌀 1931: Гёдель ответил. Ответ был — нет.