Курт Гедель доказал, что ее основной постулат – непротиворечивости и одновременно внутренней полноты [XII] – невозможно выполнить. Если система непротиворечива, то она не полна, а если она полна, то перестает быть непротиворечивой. Кажется, математика так же ущербна, как и всякая человеческая деятельность; по-моему, в этом нет ничего плохого, ничего унизительного.