ax-pilji-succ - brismu bridi

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

Axiom ax-pilji-succ 509

Description: Multiplication on natural numbers is well-founded. This is Robinson axiom 7.

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

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

This axiom is referenced by: (None)