Парадоксы и проблемы теории множеств
Систематизация математики Изложение в «Началах» Эвклида ведётся строго дедуктивно. Каждая книга начинается с определений. В первой книге за определениями идут аксиомы и постулаты. Затем следуют предложения, которые делятся на задачи (в которых нужно что-то построить) и теоремы (в которых нужно что-то доказать). Первая книга начинается определениями : 1.Точка есть то, что не имеет частей. (Σημεῖόν ἐστιν, οὗ μέρος οὐθέν — букв. «Точка есть то, часть чего ничто») 2.Линия — длина без ширины. 3.Края же линии — точки. 4.Прямая линия есть та, которая равно лежит на всех своих точках. (Εὐθεῖα γραμμή ἐστιν, ἥτις ἐξ ἴσου τοῖς ἐφ' ἑαυτῆς σημείοις κεῖται) 5.Поверхность есть то, что имеет только длину и ширину. 6.Края же поверхности — линии. 7.Плоская поверхность есть та, которая равно лежит на всех своих линиях. Эвклид III в. до н. э Наиболее интересен в аксиоматике Евклида последний, знаменитый пятый постулат. Среди других, интуитивно очевидных постулатов, он нарочито чужероден, его громоздкая формулировка закономерно вызывает некоторое чувство протеста и желание отыскать для него доказательство. Такие доказательства уже в древности пытались построить Птолемей и Прокл; а в Новое время из этих попыток развилась неевклидова геометрия. Первые 28 теорем I книги относятся к абсолютной геометрии, то есть не опираются на V постулат. За определениями Евклид приводит постулаты 1.От всякой точки до всякой точки можно провести прямую. 2.Ограниченную прямую можно непрерывно продолжать по прямой. 3.Из всякого центра всяким радиусом может быть описан круг. 4.Все прямые углы равны между собой. 5.Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.