Pages that link to "Axiom:Axiomatization of 1-Based Natural Numbers"
Jump to navigation
Jump to search
The following pages link to Axiom:Axiomatization of 1-Based Natural Numbers:
Displayed 37 items.
- Natural Number Addition is Commutative (transclusion) (← links)
- Natural Number Addition is Associative (transclusion) (← links)
- Natural Number Multiplication is Commutative (transclusion) (← links)
- Natural Number Multiplication is Associative (transclusion) (← links)
- Natural Number Multiplication Distributes over Addition (transclusion) (← links)
- Natural Number Addition Commutativity with Successor (transclusion) (← links)
- Natural Number Multiplication Distributes over Addition/Proof 3 (transclusion) (← links)
- Left Distributive Law for Natural Numbers (transclusion) (← links)
- Right Distributive Law for Natural Numbers (transclusion) (← links)
- Natural Number Multiplication is Commutative/Proof 3 (transclusion) (← links)
- Natural Number Addition is Associative/Proof 3 (transclusion) (← links)
- Natural Number Addition Commutativity with Successor/Proof 2 (transclusion) (← links)
- Natural Number Commutes with 1 under Addition (transclusion) (← links)
- Natural Number Addition is Commutative/Proof 3 (transclusion) (← links)
- Natural Number Multiplication is Associative/Proof 3 (transclusion) (← links)
- Successor to Natural Number (transclusion) (← links)
- Natural Number is Not Equal to Successor (transclusion) (← links)
- Ordering on 1-Based Natural Numbers is Trichotomy (transclusion) (← links)
- Addition on 1-Based Natural Numbers is Cancellable (← links)
- Natural Number is Not Equal to Successor/Proof 2 (transclusion) (← links)
- Natural Number is Not Equal to Successor/Proof 1 (transclusion) (← links)
- Principle of Mathematical Induction/One-Based (← links)
- Principle of Mathematical Induction/One-Based/Proof 2 (← links)
- Talk:Equivalence of Well-Ordering Principle and Induction (← links)
- User:Ascii/Theorems (← links)
- User talk:Prime.mover/Archive 5 (← links)
- User talk:Lord Farin/Archive 3 (← links)
- Axiom:Axiom Schema for 1-Based Natural Numbers (redirect page) (← links)
- Definition:Multiplication/Natural Numbers (transclusion) (← links)
- Definition:Natural Numbers (transclusion) (← links)
- Definition:Natural Numbers/Axiomatization (transclusion) (← links)
- Definition:Ordering on Natural Numbers (← links)
- Definition:Ordering on Natural Numbers/1-Based (← links)
- Definition:1-Based Natural Numbers (redirect page) (← links)
- Ordering on 1-Based Natural Numbers is Transitive (← links)
- Ordering on 1-Based Natural Numbers is Total Ordering (← links)
- Principle of Finite Induction (← links)
- Second Principle of Finite Induction (← links)
- Ordering on 1-Based Natural Numbers is Trichotomy (← links)
- Ordering on 1-Based Natural Numbers is Compatible with Addition (← links)
- Ordering on 1-Based Natural Numbers is Compatible with Multiplication (← links)
- Addition on 1-Based Natural Numbers is Cancellable for Ordering (← links)
- Multiplication on 1-Based Natural Numbers is Cancellable (← links)
- Multiplication on 1-Based Natural Numbers is Cancellable for Ordering (← links)
- Principle of Finite Induction/One-Based (← links)
- Second Principle of Finite Induction/One-Based (← links)
- Principle of Finite Induction/One-Based/Proof 1 (← links)
- Principle of Finite Induction/One-Based/Proof 2 (← links)
- User talk:Lord Farin/Archive 3 (← links)
- Definition:Addition on 1-Based Natural Numbers (transclusion) (← links)
- Definition:Natural Number Multiplication/1-Based (transclusion) (← links)
- Definition:Natural Numbers/Non-Zero (transclusion) (← links)