Quelques exemples de théories

Sujets abordés

Théorie de l’égalité ;
Théorie des groupes ;
Arithmétique de Péano ;
Notions de validité, complétude, consistance.

Sources

David - Nour - Raffalli, Sections 2.5, 3.1, 3.2, 3.4.