= 27d567bc2d48d9f40e9ccc20ea370b15)
Qiaochu_Yuan comments on Second-Order Logic: The Controversy - LessWrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (188)
Zah? The linked answer says,
It goes on to say that this need not hold when we interpret "model of ZFC" in the sense of the (outer) model.
The linked answer is talking about models of ZFC in an external sense and Eliezer is talking about them in an internal sense.