Теорема Гёделя
Любая полная формальная теория противоречива.
в ней существуют истинные утверждения, отрицания которых также истино.
Любая непротиворечивая формальная теория неполна.
в ней существуют истинные утверждения, не выводмые из аксиом теории,
отрицания которых также не выводимы.
Теорема Кантора
Булеан всякого множества мощнее самого оного множества
Теорема Цермело
Любое множество можно вполне упорядочить.
Для пытивого ума очевидна глубинная связь всех трех теорем:
в самом деле, везде используется номер (натуральное число)
высказывания, подмножества или элемента в-п множества,
который в особых случаях оказывается бесконечным , что
противоречит понятию натурального числа как
числа конечного