bn:01470871n
Noun Concept
Categories: Géométrie euclidienne
FR
axiomes de Tarski  axiomes tarski
FR
Les axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre. Wikipedia
Definitions
Relations
Sources
FR
Les axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre. Wikipedia
DISCOVERER OR INVENTOR
Wikipedia
Wikidata
Wikipedia Translations