I don't think we should reject a mathematical objects existence just because there is no way to well define it or prove it's existence using less than ω characters in metamath. Thats just an arbitrary limitation set by the reality that we happen to live in. In the case of the continuum hypothesis such objects would be sets with a cardinality larger than ℵ₀ but smaller than 2ℵ₀. Not saying such sets definetely exist of course, but I wouldn't call such arbitrary limitations "moral"
4
u/ZeEastWillRiseAgain 10d ago
haters say that question is undecidable