Histoire des mathématiques Concept

axiomes de Tarski

Concept

axiomatisation du premier ordre d'un fragment de géométrie euclidienne

Liens

porte le nom de

Sources