ля примера приведём три из аксиом геометрии. Первая: для любых двух точек существует прямая, проходящая через каждую из этих точек. Вторая: существуют три точки, не лежащие на одной прямой. Третья: для любой прямой и любой не лежащей на ней точки существует не более одной прямой, проходящей через эту точку, но не проходящей ни через одну из точек, лежащих на исходной прямой (эта аксиома называется аксиомой о параллельных). Эти три аксиомы вкупе с другими аксиомами, говорящими о свойствах точек, прямых и отношения инцидентности, а также о свойствах некоторых других объектов и отношений, позволяют развить науку, называемую геометрией. При этом никакими иными сведениями, кроме тех, которые записаны в аксиомах, пользоваться не разрешае