## Set Theory (and Russell's Paradox)

2013

### Reading

Colin Howson, [1997]Logic with treesChapter 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