2 ms·
This needs axioms beyond ZFC though. Even assuming ZFC is consistent isn't enough to know that there's a minimal countable transitive model.
by OscarCunningham 7y ago
This needs axioms beyond ZFC though. Even assuming ZFC is consistent isn't enough to know that there's a minimal countable transitive model.