2 Feb
2009
2 Feb
'09
11:09 a.m.
On Mon, Feb 2, 2009 at 10:05 AM, Andrew Butterfield
Martijn van Steenbergen wrote:
To my naive mind this sounds suspiciously like the set of all sets, so it's too big to be a set.
Here you're probably thinking about the distinction between countable and uncountable sets. See also:
No - it's even bigger than those !
He is thinking of proper classes, not sets.
Yes, that's my hypothesis: type constructors take us outside of set theory (ZF set theory, at least). I just can't prove it. Thanks, g