adjectif
Qui concerne les axiomes ; qui se fonde sur des axiomes.
nom féminin
Ensemble de notions premières (axiomes) admises sans démonstration et formant la base d'une branche des mathématiques, le contenu de cette branche se déduisant de l'ensemble par le raisonnement.
