Appendices
269
Fig. A.2 Axiom 2: Any terminated straight line can be projected indefinitely
Fig. A.3 Axiom 3: A circle with any radius can be drawn around any point
Fig. A.4 Axiom 4: All right angles are equal
From these humble beginnings the whole of Euclidean geometry can be
derived by the strict application of logic.