Thomas comments on Stupid Questions Open Thread Round 2

[Thomas]

ZF does not imply well ordering of R, ZFC does. ZF with the Axiom of Choice.

Strictly speaking.