Source: wikibot/tarski-s-axiomatization-of-the-reals

= Tarski's axiomatization of the reals
{wiki=Tarski's_axiomatization_of_the_reals}

Alfred Tarski, a prominent logician and mathematician, developed an axiomatization of the real numbers based on first-order logic. Tarski's approach was notable for its focus on the completeness and consistency of the real number system, as well as its relationship to ordered fields.