Можно ли обьять необьятное?!

То есть формализовать, к примеру, основания математики.Она- царица наук-описывает
Природу.А мы- люди-можем ли успешно систематизировать систему доказательств,- доказав их полноту и непротиворечивость с логической точки зрения...
К этой глобальной задаче подступился австрийский математик и логик/1906-1978 гг/Курт Гёдель.
Он родился в Брюнне/Брно/,известном миру по опытам с горохом Грегора Менделя.Его отец-управляющий текстильной фабрикой.Курт рано проявил способности к языкам.Венский ун-т,- влияние на него изысканий Давида Гильберта.
В 1930 г-в Кенигсберге/где творил Кант/Гёдель выступает с работой о неполноте-то есть формализовать основания математики невозможно.
Годы фашистской реакции и Курт эмигрирует в США, трудится в Принстоне/там же и Эйнштейн/.Психика его ранима, даже развивается паранойя.Жена кормит его с лржечки...
В таком состоянии он и сгорает...Итак, человеческий разум бессилен перед полнотой природы-она вечно неуловимая в своих тайнах...