What is a Model?

Set Theory · Axiom Academy

A universe where mathematical axioms come to life. Imagine you're designing a game. You write the rules, but then someone needs to actually play the game to see if the rules make sense. In mathematics, we have axioms (the rules) and models (the actual games being played). Click below to see what makes something a model: Let's visualize a model as a universe. Here's the universe V, which is a model of set theory. Watch as axioms create structure in this universe. Does This Structure Satisfy the Axioms? Now let's test your understanding. Given some axioms and a structure, can you determine if the structure is a model? Models aren't just academic curiosities. They're the key to understanding consistency —whether our axioms even make sense at all. Are our axioms self-contradictory? Can we prove both a statement and its opposite? If we can find a model—an actual structure where all axioms are true—then the axioms must be consistent ! You can't have contradictions in something that actually exists. But here's the twist: proving that a model exists is itself a mathematical statement. Can we even trust that proof? A model is a mathematical structure where axioms are true—turning rules into reality. The cumulative hierarchy V is the standard model of ZFC—a universe where all our set theory axioms hold. Finding a model proves consistency—if axioms are true somewhere, they can't be contradictory.

This is the written version of the interactive lesson above. See the full Set Theory course.