Hacker News new | ask | show | jobs
by upquark 3358 days ago
My example is incomplete, not faulty. I left it as a question (does the inf belong to the set?). If the answer is yes, we reached a contradiction. If the answer is no, we have to continue further zooming in to this interval (or some other construction along those lines).

See, I claim that this set is ill-defined, so I can't know its properties like whether or not it's dense, open, closed, Borel-measurable, etc. etc.

You have to tell me what its properties are, and I will come up with a concrete proof that the set in question is ill-defined.

EDIT: After I RTFA'd, this is actually the paradox in section 2.3 of the linked article