Настоящая книга посвящена принципиальным вопросам, связанным с аксиоматическим построением евклидовой геометрии, геометрии Лобачевского, аффинной и проективной геометрий. В частности, в ней рассматриваются вопросы независимости, непротиворечивости и полноты системы аксиом указанных геометрий. Наряду с этим она содержит значительный фактический материал по геометрии Лобачевского, аффинной и проективной геометриям. Изложение отличается простотой и оригинальностью.