Skip to main content
added 6 characters in body
Source Link
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

In standard set theory (ZFCZF) this kind of set is forbidden because of the axiom of foundation.

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. Aczel's anti-foundation_axiom, where there is a unique set such that $x = \{x\}$.

In standard set theory (ZFC) this kind of set is forbidden because of the axiom of foundation.

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. Aczel's anti-foundation_axiom, where there is a set such that $x = \{x\}$.

In standard set theory (ZF) this kind of set is forbidden because of the axiom of foundation.

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. Aczel's anti-foundation_axiom, where there is a unique set such that $x = \{x\}$.

Fixed markup
Source Link

In standard set theory (ZFC) this kind of set is forbidden because of the axiom of foundation. http://en.wikipedia.org/wiki/Axiom_of_foundationaxiom of foundation.

There are alternative axiomatisations of set theory, some of which do not not have an equivalent of the axiom of foundation. This is called non non-well-founded set theory. See e.g. http://en.wikipedia.org/wiki/Aczel's_antiAczel's anti-foundation_axiom  , where there is a set such that $x = \{x\}$.

In standard set theory (ZFC) this kind of set is forbidden because of the axiom of foundation. http://en.wikipedia.org/wiki/Axiom_of_foundation

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. http://en.wikipedia.org/wiki/Aczel's_anti-foundation_axiom  , where there is a set such that $x = \{x\}$.

In standard set theory (ZFC) this kind of set is forbidden because of the axiom of foundation.

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. Aczel's anti-foundation_axiom, where there is a set such that $x = \{x\}$.

Source Link
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

In standard set theory (ZFC) this kind of set is forbidden because of the axiom of foundation. http://en.wikipedia.org/wiki/Axiom_of_foundation

There are alternative axiomatisations of set theory, some of which do not have an equivalent of the axiom of foundation. This is called non-well-founded set theory. See e.g. http://en.wikipedia.org/wiki/Aczel's_anti-foundation_axiom , where there is a set such that $x = \{x\}$.