ax-real-suhi - brismu bridi

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

Axiom ax-real-suhi 624

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

**Assertion**
Ref	Expression
ax-real-suhi	⊢ ganai li ku'i'a .e li ku'i'e mrena'ugi li + ku'i'a ku'i'e mrena'u

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

This axiom is referenced by: (None)