Tarski's axiomatization can be seen as a version of the more usual definition of real numbers as the unique Dedekind-complete ordered field; it is however made much more concise by using unorthodox variants of standard algebraic axioms and other subtle tricks (see e.g.
Tarski's axiomatization can be viewed as a variant of the conventional definition of real numbers as the unique Dedekind-complete ordered field; it is, however, significantly more concise by employing unconventional variants of standard algebraic axioms and other subtle techniques (see e.g.