In this paper we present a model of Non-Euclidean geometry
in three dimensions. This will show that the axioms of Non-Euclidean
geometry are consistent if Euclidean geometry and, hence, arithmetic
is consistent. However, the model is incomplete for we have not
included the topic of congruence, the axiom of Archimedes,...