Dragonfall Messages 1,023 Reaction score 5 Thread starter Aug 31, 2009 #1 Is there a finite model of ZF - Infinity?
Hurkyl Staff Emeritus Science Advisor Gold Member Messages 14,922 Reaction score 28 Aug 31, 2009 #2 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.
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.