Сьогодні 118 років із дня народження Курта Геделя - математика, що змінив уявлення про аксіоматику назавжди.
Восьмого Міжнародного конгресу математиків, що відбувся в Болоньї 1928 року, Геделю пощастило прослухати лекцію Давида Гільберта, присвячену повноті та несуперечливості аксіоматичних систем.

Дослідження цієї проблематики лягло в основу майбутньої наукової роботи Курта: 1930 року Гедель блискуче захистив дисертацію "Про повноту логічного числення". Гедель показав, що в будь-якій несуперечливій системі аксіом є істинні твердження, які не мають доведень.

Давид Гільберт першим визнав цінність наукових праць Геделя, погодившись із тим, що вся його програма з формалізації основ математики потребує кардинального перегляду.