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!