logo search
книга1

Аксиомы принадлежности

1Ь Какова бы ни была прямая, существуют точки, принадлежащие этой прямой, и точки не принадлежащие ей.

12. Через любые две точки можно провести прямую, и только одну.

Из второй аксиомы следует, что каждая прямая определяется заданием двух её точек. Это дает основание для обозначения прямой двумя точками, например, прямая АВ. Из второй аксиомы следует также, что две различные прямые либо не пересекаются, либо пересекаются только в одной точке.