Axiom talk:Axiomatization of 1-Based Natural Numbers

Suggestions for renaming, anyone? --prime mover (talk) 02:25, 2 May 2018 (EDT)