Несколько тысячелетий математики пытаются, с одной стороны, доказать пятый постулат Евклида, а с другой стороны, удивляются, зачем он был добавлен Евклидом к первым четырем. Одна из его формулировок гласит,...

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