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 represents a reformulation of the standard definition of real numbers as the unique Dedekind-complete ordered field; it is notably more succinct by utilizing atypical variants of fundamental algebraic axioms and other sophisticated strategies (as exemplified in).