Apparently, this user prefers to keep an air of mystery about them.
9 Is it possible to prove in ZF that a non-trivial compact connected Hausdorff space is uncountable? Jun 12 '13
1 Can the Cantor-Bernstein-Schröder Theorem for proper classes be proven without infinity? Apr 3 '13
1 Are all sets totally ordered ? May 19 '13