Математика, сцуко, смешная

Ubnormal: я шизею:
Теорема Гёделя свидетельствует об ограниченности А. м. (хотя определённые расширения допускаемых метатеоретических средств и позволили немецкому математику Г. Генцену, П. С. Новикову и др. математикам получить доказательство непротиворечивости формализованной арифметики).
Ubnormal: т.е. математики с помощью формализма сумели получить доказательство непротиворечивости формализованной арифметики
Ubnormal: ебануться куда мир катится
Ubnormal: типо сидит чел, хреначит какое-то неебическое доказательство какой-то неебической хуйни, и нисрастается нихрена
Ubnormal: и тут он решает проверить а не противоречива ли математика... :)))
Ubnormal: блянах я же не засну теперь
Shamil: )))))))) какая свежая мыль))