Set Theory (and Russell's Paradox)
6/5/12
Tutorial
Set theory is an extensive topic introduced elsewhere. It can be written as a first order theory.
There is one axiom schema, Abstraction (or Comprehension), which can generate infinitely many axioms
∀y(yε{x:Φ[x]}≡Φ[y])
Axiom Schema of Abstraction (or Specification or Comprehension). The Set Builder Axiom Schema.
And a number of other axioms