Set Theory (and Russell's Paradox)
2013
Reading
Colin Howson, [1997] Logic with trees Chapter 11
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