= 27d567bc2d48d9f40e9ccc20ea370b15)
endoself comments on We won't be able to recognise the human Gödel sentence - Less Wrong Discussion
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 (33)
Why would we care about the smallest model? Then, we'd end up doing weird things like rejecting the axiom of choice in order to end up with fewer sets. Set theorists often actually do the opposite.
Generally speaking, the model of Peano arithmetic will get smaller as the model of set theory gets larger.
And the point is not to prefer smaller or larger models; the point is to see if there is a unique definition of the natural numbers.