English Tarski's axiomatization of the reals Cited by user AxelBoldt on 13 Dec 2023 In 1936, Alfred Tarski gave an axiomatization of the real numbers and their arithmetic, consisting of only the eight axioms shown below and a mere four primitive notions…