Axiomatique

De Ideopedia
Révision de 26 janvier 2012 à 11:53 par Ziecken (discussion | contributions) (Nouvelle page : 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 à ...)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)

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 »