«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...

Немного из истории математики.  Загадки 5 постулата Евклида📐 Начнем с того, что вся Евклидова геометрия, которую мы изучаем в школе 7 класса опирается главным образом на 5 постулат Евклида.  ❗️Который к слову так и не был доказан. Кто учился в университете знает, что 5 постулат доказать так и не удалось, поэтому его приняли за аксиому.  А вот отрицание 5 постулата удалось доказать нашему соотечественнику Николаю Лобачевскому.  Именно на основании этого отрицания была построена Неевклидова геометрия, привычнее нам геометрия Лобачевского ☺️ Но на самом деле Лобачевский не единственным, кто доказал...