3 ms·
You don't even have to do that: Just well-order the universe and use the resulting ordering for your less-than operator.
by MichaelBurge 10y ago
You don't even have to do that: Just well-order the universe and use the resulting ordering for your less-than operator.