БОЖЕСТВЕННОЕ И МАТЕМАТИЧЕСКОЕ
    По шутливой, но достаточно точной классификации профессора С.Б.Стечкина все науки подразделяются на четыре группы: естественные (такие как физика, химия, биология, геология, метеорология,...), неестественные (история, искусствоведение, технические науки - последние, правда, тесно связаны и существенно опираются на результаты естественных наук), противоестественные (например "научный коммунизм") и сверхестественные. К последним, наряду с Богословием, Сергей Борисович относил и математику, которой занимался всю свою жизнь.
    Рассмотрим подробнее, в чем именно состоит внутреннее сходство математических и Богословских наук. Самый известный математический термин "теорема" означает "сказанное Богом", а основные положения математических теорий называются "аксиомами"; в то же время "аксиос" (достоин) - это возглас епископа при рукоположении в духовный сан. Причем "достойность" аксиом (или человека) определяется не столько авторитетом лица, объявляющего их таковыми, а главным образом их действительными качествами истинности и самоочевидности. Поэтому обоснованность математических истин несравненно выше, нежели уровень достоверности, считающийся достаточным в естественных науках. Этим и объясняется тот факт, что, несмотря на гигантское расширение области математических исследований, которые сейчас пронизывают практически все науки, сама математика в течение тысячелетий не претерпела ни одной "революции" или "перестройки", какие мы видим, например в истории физики. Вообще само по себе греческое слово "матема" как раз и означает "знание (достоверное), наука", т.е. другие науки (особенно те, в которых не используются математические методы) не могут даже считаться "настоящими".
    Аксиоматический метод, характерный именно для математики, зародился в Древней Греции и его применением к геометрии явились "Начала" Евклида (4 в. до Р.Х.). Открытие Н.И. Лобачевским в 1826 г. неевклидовой геометрии (в которой вместо "пятого постулата" утверждается, что через точку, взятую вне прямой можно провести не одну, а хотя бы две прямые, параллельные исходной) вызвало определенное "смущение в умах" и сомнение в полной достоверности математики. Ясность в этом вопросе была восстановлена только в 1870-х гг., когда Бельтрами, Клейн и Пуанкаре построили (в рамках "обычной", т.е. евклидовой геометрии) модели, для которых выполняются все аксиомы геометрии Лобачевского. В дальнейшем было найдено около 200 различных неевклидовых геометрий, многие из которых (особенно геометрии Лобачевского и Римана) позволили решить некоторые трудные задачи чистой математики и послужили основой для построения физиками 20-го века новых концепций пространства-времени (теория относительности). Заметим, что евклидова геометрия остается самым простым случаем всех новых геометрий и служит моделью для подтверждения их непротиворечивости.
    В начале 20-го века немецкий математик Д. Гильберт доказал возможность выражения геометрических фактов на языке арифметики (это было мечтой Пифагора, первого из математиков, осознавшего необходимость строгих доказательств) и поставил задачу изучения (чисто математическими методами) самого процесса математического доказательства. Данное направление математической логики было названо метаматематикой. ............