[FOM] Finite axiomatizations of ZF

Guillermo Badia guillebadia89 at gmail.com
Fri Apr 11 20:49:17 EDT 2014

Dear all,

Was there any attempt before Montague's reflection theorem was known
(proving it impossible if ZF is consistent) to find finite axiomatizations
of ZF? Thanks in advance for your help.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140412/a2856c6b/attachment.html>

More information about the FOM mailing list