notion de base de logique mathématique

Vocabulaire :

Proposition : phrase qui représente une affirmation, un événement, une propriété.
Axiome : proposition évidente par elle même et qui n'est pas démontrable.
Théorème : proposition qui peut être démontrée.
Lemme : proposition auxiliaire pour faciliter la démonstration d'une autre proposition.
Conjecturer : fonder son opinion sur des apparences, avoir une idée de la propriété sans l'avoir démontré.
Incompatibles : deux propositions sont incompatibles si elles ne peuvent pas être vérifiées en même temps.