ax-efq - brismu bridi

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

Axiom ax-efq 248

Description: The principle of explosion. If a tuple both is and is not a member of some relation, then we are inconsistent and any theorem whatsoever may be derived. The short name "efq" comes from the Latin phrase, "ex falso quodlibet".

**Assertion**
Ref	Expression
ax-efq	⊢ ganai naku broda gi ganai broda gi brode

This axiom is referenced by: efqi 249 efqd 250 con2d 252

W3C validator