Курт Гёдель — в виде знаменитой теоремы о неполноте. В 1931 году он вывел доказательство, из которого следует, что любая достаточно сложная формальная система либо внутренне противоречива, либо неполна. Иными словами, чтобы доказать непротиворечивость любого набора аксиом, требуется вводить в него дополнительные аксиомы.
Персональная инфраструктура
·
Александр Кравцов
