- Un peu de logique booléenne...
- La logique
- Syracuse formule impaire/impaire
- Problème d'induction structurelle
- Relation R d'équivalence
- vrai et démontrable
- famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.
- Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)
- Théorie des modèles et nombres complexes.
- Table de vérité
- Dénomination .
- Déduction naturelle vs Calcul des séquents
- Ensemble N......
- un axiome forcé
- l'ensemble des cardinaux des ensembles infinis
- Un ensemble que je ne comprend pas
- tiers exclu
- Multivers ensembliste
- Infinis et dénombrement
- Négation d'une proposition
- Définition des nombres réels par 3 constantes
- Définition de la logique et de la logique formelle
- Conseil étude de la logique
- Les théories du négligeable.