附：Tarski's axiomatizationofthe reals
In 1936, AlfredTarski set out anaxiomatization of the real numbers and their arithmetic,consisting of only the8 axioms shown below and a mere four primitive notions: theset of reals denotedR, a binary total order over R, denoted by infix <, abinary operation ofaddition over R, denoted by infix +, and the constant 1.
The literatureoccasionallymentions this axiomatization but never goes into detail,notwithstanding itseconomy and elegant metamathematical properties. Thisaxiomatization appearslittle known, possibly because of its second-ordernature.
Tarski's axiomatizationcan be seen as a version of the more usualdefinition of real numbers as theunique Dedekind-complete ordered field; it ishowever made much more concise byusing unorthodox variants of standardalgebraic axioms and other subtle tricks(see e.g. axioms 4 and 5, which combinetogether the usual four axioms ofabelian groups).
The term"Tarski'saxiomatization of real numbers" also refers to the theoryof real closedfields, which Tarski showed completely axiomatizes thefirst-order theory of thestructure 〈R, +, ·, <〉.
Axioms of order (primitives: R,<):
If x < y, then not y<x. That is, "<" is an asymmetric （非对称）relation.
If x < z, there exists aysuch that x < y and y < z. In other words, "<" is denseinR.
"<"isDedekind-complete. More formally, for all X, Y ? R, if for all x ∈ X and y ∈ Y, x < y,thenthere exists a z such that for all x ∈ X and y ∈ Y, if z ≠ x and z ≠ y, then x <zand z < y.
To clarify the above statementsomewhat, let X ? R and Y ? R. We now define two common English verbs inaparticular way that suits our purpose:
X precedes Y if and only ifforevery x ∈ X and every y ∈ Y, x < y.
The real number z separates XandY if and only if for every x ∈ X with x ≠ z and every y ∈ Y with y ≠ z, x < z andz< y.
Axiom 3 can then be stated as:
"If a set of realsprecedesanother set of reals, then there exists at least one real numberseparating thetwo sets."
Axioms of addition (primitives:R, <, +):
x + (y + z) = (x + z) + y.
For all x, y, there existsaz such that x + z = y.
If x + y < z + w, thenx< z or y < w.
Axioms for one (primitives: R,<, +, 1):
1 ∈ R.
1 < 1 + 1.
These axioms imply that R is alinearly ordered abelian group underaddition with distinguished element 1. R isalso Dedekind-complete anddivisible.
Tarski stated, without proof,that these axioms gave a total ordering.The missing component was supplied in2008 by Stefanie Ucsnay.
This axiomatization does notgive rise to a first-order theory, becausethe formal statement of axiom 3includes two universal quantifiers over allpossible subsets of R. Tarski provedthese 8 axioms and 4 primitive notionsindependent.
How these axioms imply a field
Tarski sketched the (nontrivial)proof of how these axioms andprimitives imply the existence of a binaryoperation called multiplication andhaving the expected properties, so that R isa complete ordered field underaddition and multiplication. This proof buildscrucially on the integers withaddition being an abelian group and has itsorigins in Eudoxus' definition ofmagnituty.（全文完）