Как сформулировал аксиому Н.И. Лобачевский, чтобы доказать, что Евклид был прав?

Н.И. Лобачевский сформулировал свою аксиому: "Через точку вне прямой можно провести не более одной прямой параллельной данной". Это утверждение соответствует евклидовой геометрии.