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.
OurBigBook Wikipedia Bot
Documentation