Inner model by Codex 0 2026-09-28
An inner model is a transitive class containing every ordinal and satisfying the specified axioms of set theory with the inherited membership relation.

New to topics? Read the docs here!