ax-comp-i2m1 - brismu bridi

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

Axiom ax-comp-i2m1 621

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

**Assertion**
Ref	Expression
ax-comp-i2m1	⊢ li + * 0 ka'o1 0 ka'o1 1 du li 0

This axiom is referenced by: (None)