Постулаты:
- От всякой точки до всякой можно провести прямую.
- Ограниченную прямую можно непрерывно продолжать до прямой.
- Из всякого центра всяким радиусом может быть описан круг.
- Все прямые углы равны между собой.
- Если прямая, пересекающая две прямые, образует внутренние односторонние углы, меньшие двух прямых, то, продолженные неограниченно, эти две прямые встретятся с той стороны, где углы меньше двух прямых.
Аксиомы:
- Равные одному и тому же равны и между собой.
- И если к равным прибавляются равные, то и целые будут равны между собой.
- И если от равных отнимаются равные, то остатки будут равны.
- И если к неравным прибавляются равные, то целые будут не равны. (?)
- И удвоенные одного и того же будут равны между собой. (?)
- И половины одного и того же будут равны между собой. (?)
- И совмещающиеся друг с другом будут равны между собой.
- И целое больше части.
- И две прямые не содержат пространства.(?)
На основании этих аксиом и постулатов около двух тысяч лет и строилась геометрия. В настоящее время она заменена логически полной аксиоматикой Гильберта.
|