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>