ax-sdo - brismu bridi

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

Axiom ax-sdo 219

Description: The principle of self-defeating objects. If an object's existence would imply that it doesn't exist -- usually via contradiction -- then it doesn't exist. As a special case, if some tuple's membership in a relation would imply non-membership in that relation, then it's not a member. For a survey of this principle across maths, see [Tao]. Axiom ax-in1 in [ILE] p. 0.

**Assertion**
Ref	Expression
ax-sdo	⊢ ganai ganai broda gi naku zo'u broda gi naku zo'u broda

This axiom is referenced by: sdoi 220

W3C validator