%0 Journal Article %A Boucher, Andrew %T Arithmetic without the successor axiom