Course page Home page Home page CoursesNew course

The constructible universe: Mathematical Logic course | Zoonk

40. The constructible universe

Constructs Gödel’s universe of constructible sets and examines inner models. Learners see how relative consistency proofs organize the study of propositions that ordinary ZFC cannot decide.

Mathematical Logic

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc