"Элементарное доказательство непротиворечивости планиметрии Лобачевского" - читать интересную книгу автора (Делоне Б.Н. )