Théorie Axiomatique

concept

ensemble de formules se déduisant d'axiomes dans une logique donnée

Propriétés

Catégories