Axiom:Axiom Schema for 1-Based Natural Numbers