There may or may not be a function f from the plane R2 to the set {'red', 'blue'} such that:
(i) Every vertical line contains at most countably many red points and
(ii) Every horizontal line contains at most countably many blue points.
If the continuum hypothesis is true then there exists a well-ordering of R of order type ω1 and we can define f(x
(
Read more... )