User:TurdProtector/sandbox

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Equality[edit | edit source]

We define equality as follows:

It follows:

Reflexivity.
Proof
, which always holds
  • Symmetry
  • Transitivity

The axioms[edit | edit source]

  • Extensionality, two sets with the same elements are equal.
  • Separation, subsets exist

where p is any proposition
  • The empty set exists
  • Union, the union of all members of a set is a set.
  • Power sets exist

we denote this set y by P(x)
  • Infinity, an infinite set exists
  • Foundation, no set is a member of itself

Cardinals · Naive Set Theory