ax-comp-suhi - brismu bridi

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

Axiom ax-comp-suhi 694

Description: Complex numbers are closed under addition. One of Megill's axioms.

**Assertion**
Ref	Expression
ax-comp-suhi	⊢ ganai li ku'i'a .e li ku'i'e lujna'u gi li su'i ku'i'a ku'i'e lujna'u

Distinct variable group: ku'i'a , ku'i'e

This axiom is referenced by: (None)