The next axiom concerns [ x ], the integer part function. We have seen that this function plays a useful role in our theory, but it turns out that not all ordered fields have it defined. A field for which integer part is defined is called an Archimedean Ordered Field.