axiomatisable

adjectif

Définitions de axiomatisable


  • Se dit d'une théorie qui peut être axiomatisée. (Une théorie est finiment axiomatisable quand elle l'est au moyen d'un nombre fini d'axiomes.)