[hanche]

You can't know. However, it is a consequence of the axiom of choice (AC). You can't know if AC is true either; but mathematics without it is really really hard, so it usually assumed.