Axiom talk:Axiomatization of 1-Based Natural Numbers

From ProofWiki

Jump to navigation Jump to search

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

Retrieved from "https://proofwiki.org/w/index.php?title=Axiom_talk:Axiomatization_of_1-Based_Natural_Numbers&oldid=352821"