Gödel incompleteness | Lesson Worlds