= Tarski's axiomatization of the reals {wiki=Tarski's_axiomatization_of_the_reals}
Back to article page