Note 11 — Introductory material

Thus Legendre's attempt broke down; but mere failure could prove nothing. A bolder method, suggested by Gauss, was carried out by Lobatchewsky and Bolyai[6]. If the axiom of parallels is logically deducible from the others, we shall, by denying it and maintaining the rest, be led to contradictions. These three mathematicians, accordingly, attacked the problem indirectly: they denied the axiom of parallels, and yet obtained a logically consistent Geometry. They inferred that the axiom was logically independent of the others, and essential to the Euclidean system. Their works, being all inspired by this motive, may be distinguished as forming the first period in the development of Metageometry.