TY - RPRT TI - How to axiomatize school geometry AU - Eliahu Levy PY - 2006 UR - https://arxiv.org/abs/math/0602190 ID - math/0602190 ER -