Conceived as a sequence of miniaturized "What is...?" talks:

1. What is an ordinal? (and what is the continuum hypothesis?)

2. What is a tree? (and what is Suslin's hypothesis?)

3. What is a model of ZFC?

4. What is forcing?

5. What is a forcing axiom?