Axiomatique

De Ideopedia

Une théorie est dite axiomatique lorsqu'elle manipule des axiomes. Une théorie axiomatique comporte quatre éléments :

  • Un vocabulaire ou une liste des symboles à employer
  • Des règles de formation (syntaxe axiomatique)
  • Des axiomes
  • Des règles d'inférence qui généreront des théorèmes

Sources

Récupérée de « https://www.europalingua.eu/ideopedia/index.php?title=Axiomatique&oldid=18485 »