[OscarCunningham]

This needs axioms beyond ZFC though. Even assuming ZFC is consistent isn't enough to know that there's a minimal countable transitive model.