Théorie de la Démonstration

discipline

branche de la logique mathématique

Propriétés