Question: does zfc have a model?
Answer: 5 Answers. According to Godel's incompleteness theorem, ZFC cannot prove its own consistency. Therefore, it is relatively consistent with ZFC that there are not any set models of ZFC.