Past Meetup

Survey of Set Theory

This Meetup is past

12 people went

Cafe Allegro

4214 University Way NE (in the alley behind Magus Bookstore) · Seattle, WA

How to find us

We will be upstairs with a whiteboard. Enter the stairs from outside and turn left at the top.

Location image of event venue


Set theory is the standard foundational discipline for mathematics, with sets being used to define number, functions, structures like groups and topological spaces, etc.

In this discussion, we will review the axioms and basic properties of:

Zermelo-Frenkel - the standard axiomization of the theory of sets NBG - ZF extended to include "very large" classes Morse-Kelley - An NBG-like system with a slightly stronger comprehension axiom NF - an unorthodox theory that disproves choice, proves infinity, is non-wellfounded, and generally nuts ML - A strengthening of NF with proper classes, with which NF is equiconsistent Discussion will begin with a brief discussion of set theory's origins, aims, and basic concepts, followed by a quick recap of Russel's and Cantor's paradoxes. After that we will move on to discuss specific axiom systems (primarily ZF and NF, and their variants as time permits) and how they avoid the paradoxes and provide the sets important to mathematics (natural numbers, ordered pairs, and relations). Where possible, fundamental differences in how the theories handle their subject matter will be discussed.

If we manage to run through the above, I hope to include some brief comments on large cardinal axioms, and certain oddities in the relationship between NF and ML.

Note: I'm not going to lie, I totally heart NF and will probably be a little heavier in coverage on that system.