Coba jelasin Aksiomatisasi bilangan real Tarski dari Konstruksi bilangan real dong

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.