vi21maobk9vp comments on Second-Order Logic: The Controversy

vi21maobk9vp 5 Jan 2013 17:26 UTC
0 points
Ah, sorry, I didn’t notice that the question is about model of ZFC inside a “universe” modelling ZFC+Con^∞(ZFC)