ax-sdo - brismu bridi

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

Axiom ax-sdo 281

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].

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

This axiom is referenced by: sdoi 282 sdod 283 con2d 289

W3C validator