[MichaelBurge]

You don't even have to do that: Just well-order the universe and use the resulting ordering for your less-than operator.