Axiomatisation de Tarski des nombres réels

L'axiomatisation de Tarski des nombres réels est une axiomatisation des nombres réels et de leur arithmétique, proposée par Alfred Tarski en 1936. Elle consiste en huit axiomes présentés ci-dessous et quatre notions primitives : l'ensemble des réels noté R, un…