Tarski's axiomatization of the reals
ID: 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.
New to topics? Read the docs here!