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.
Articles by others on the same topic
There are currently no matching articles.