Encyclopedia > T > Tarski's axiomatization of the reals
Tarski's axiomatization of the reals
In 1936, Alfred Tarski axiomatized the real numbers and their arithmetic using only the 8 axioms shown below. Moreover, those axioms invoked a mere four primitive notions: the set of reals denoted R, a binary relation ordering R, denoted by infix <, a binary operation of addition over R, denoted by infix +, and the constant 1.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)