Axiomatique : Différence entre versions
De Ideopedia
(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 à ...) |
(Aucune différence)
|
Version actuelle en date du 26 janvier 2012 à 10:53
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
- Dictionnaire de linguistique, Larousse, 2002, ISBN 2-03-532047-X
