Finite Models of ZF - Infinity

2 replies · 2K views · last reply
Dragonfall
Messages
1,023
Reaction score
5
Is there a finite model of ZF - Infinity?
 
No. Any model of ZF - Infinity contains a model of the integers. (Although it need not have a "set of integers")

There is an empty model of ZF - Infinity - Null set, though.