Jabarkan Aksiomatisasi bilangan real Tarski dari Konstruksi bilangan real

Terdapat aksiomatisasi bilangan real dan aritmetikanya lain yang dibuat dan dihimpun oleh Alfred Tarski. Aksiomatisasi ini terdiri dari delapan aksioma terdiri dari empat gagasan primitif.