Histoire des mathématiques Concept
axiomes de Tarski
Conceptaxiomatisation du premier ordre d'un fragment de géométrie euclidienne
Traduit de l’anglais automatiquement — non relu. « first-order axiomatization of a fragment of Euclidean geometry »
Liens
- porte le nom de
Sources
- Wikidata CC0-1.0