%0 Journal Article %A Corcoran, John %D 2014 %J Bulletin of Symbolic Logic %N 3 %P 404-405 %T Formalizing Euclid’s first axiom. %V 20