A Hypotenuse-Angle Axiomatization of the Hilbert Plane

Roberto Volpe

We show that, in $\MG^{-}$ --- $\MG$, the Hilbert plane, deprived of the Side-Angle-Side axiom --- a hypotenuse-angle criterion for right triangles, together with the existence of…