## Set Theory (and Russell's Paradox)

Topic

Logical System

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