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

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