Système Axiomatique

concept

ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes

Propriétés

p279_labels
système formel, ensemble, théorie