= 27d567bc2d48d9f40e9ccc20ea370b15)
Tyrrell_McAllister comments on But Somebody Would Have Noticed - 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 (250)
I think that you're confusing the element-of relation with the subset-of relation. Or something. But then, all sets are subsets of themselves, including finite ones, so I'm not sure what you were thinking.
At any rate, the empty set is not an element of itself according to any convention that I've ever seen.
I'm not sure how to respond to this until you answer my question in this comment.
You're right; I was mis-remembering. It can't be, or 1 := 0 u {0} wouldn't work.