ax-comp-i2m1 - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-comp-i2m1

Axiom ax-comp-i2m1 696

Description: The imaginary unit is a square root of negative one. One of Megill's axioms.

**Assertion**
Ref	Expression
ax-comp-i2m1	⊢ li su'i pi'i no ka'o pa no ka'o pa pa du li no

This axiom is referenced by: (None)