ax-sumji-succ - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-sumji-succ

Axiom ax-sumji-succ 502

Description: Addition on natural numbers is well-founded and proceeds by successors. This is Robinson axiom 5.

**Hypothesis**
Ref	Expression
ax-sumji-succ.0	⊢ su'o da zo'u ge ko'i sumji ko'a da gi ko'e kacli'e da

**Assertion**
Ref	Expression
ax-sumji-succ	⊢ su'o da zo'u ge da sumji ko'a ko'e gi da kacli'e ko'i

This axiom is referenced by: (None)