The purpose of this paper is to show that arithmetic
is consistent if Euclidean geometry is. Specifically, a
model of Peano's axioms [2] is defined in the space of
Euclidean geometry, where Hilberts axioms [3] are taken
to be the axioms of Euclidean geometry.
A set of axioms of incidence and order for geometry was formulated
by David Hilbert in 1898. In this paper these axioms are reformulated
and particular care is taken with the two relations of order
and incidence. Such phrases as " point P lies on line [cursive small letter L]"...