Axiomatisation de Tarski des Nombres Réels

concept

Propriétés