Corollary.
For every
T
⊆
ZFC
finite, there is a
countable transitive model
of
T
.