= 27d567bc2d48d9f40e9ccc20ea370b15)
ec429 comments on How to Convince Me That 2 + 2 = 3 - Less Wrong
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 (390)
SS0 isn't a free variable like "x", it is, in any given model of arithmetic, the unique object related by the successor relation to the unique object related by the successor relation to the unique object which is not related by the successor relation to any object, which is how mathematicians say "Two".
Although as a mathmo myself I should point out that, to save time, we usually pronounce it "Two". :)