[math-fun] Floor function question

Starting with a field-based axiomatization of the real numbers, how do we show that floor(x) exists for every x? -------------------------------- - David Wilson