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