For any finite set of axioms K of ZFC, ZFC proves "K has a model", via the reflection principle as you note. However, ZFC does not prove "for any finite set of axioms K of ZFC, K has a model". The distinction between these two is what prevents ZFC from proving that ZFC has a model.
Sridhar Ramesh
- 5.8k
- 1
- 34
- 45