Math

Исследователь неполноты Гёделя

Более понятная интерактивная страница о формальных системах, аксиомах, выводах, непротиворечивости и о том, почему возникает неполнота.