My favourite is the statement that if X is a set of reals, and for every sequence (a_n) of positive reals you can find a sequence of intervals (I_n) that cover X such that I_n has length at most a_n, then X is countable. I think it's of a similar strength to Martin's axiom.
|
1 | [made Community Wiki] | ||
|
|
||||
