# set theory

## 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

## Help with Ex 3: Moderately Difficult Example

Topic

Logical System

## The Proof Applet

Topic

Logical System

1/10/09 13 Software

Some predicate logic proofs or derivations using Gentzen calculus. Try to prove them (click 'Derive It' off the Wizard Menu, if you want help).

## Help with Subset Derivation: Short Rewrite Version

Topic

Logical System

## Tutorial 7: Set Theory II: Subsets, Empty Set, Universe Set

Topic

Logical System

## Tutorial 9: Set Theory IV: Ordered Pairs, Cross Products

Topic

Logical System