Principe du Bon Ordre Contexte : Ensembles Bien Ordonnés Pour comprendre ce principe, il faut d’abord définir ce qu’est un bon ordre. Un ensemble $(E, \le)$ est dit bien ordonné si c’est un ensemble totalement…
Contexte : Théorie des Ensembles Ordonnés Pour comprendre le lemme de Zorn, il est nécessaire de maîtriser plusieurs concepts de la théorie des ordres. Soit $(E, \le)$ un ensemble muni d’une relation d’ordre. Ensemble Partiellement…
Théorème du Point Fixe de Kleene Contexte : Ordres Partiels Complets et Fonctions Continues Pour énoncer le théorème, nous avons besoin de structures mathématiques spécifiques : Ensemble Partiellement Ordonné (Poset) : Un ensemble $D$ muni…
Théorème de Tarski sur l’Indéfinissabilité de la Vérité Contexte : Langage Formel et Vérité Considérons un langage formel $L$ (comme le langage de l’arithmétique) capable d’exprimer des énoncés sur les nombres naturels. Un tel langage…
Théorème de la Déduction Contexte : Systèmes de Déduction En logique propositionnelle et en logique du premier ordre, un système de déduction est un ensemble de règles permettant de dériver des formules (théorèmes) à partir…
Contexte : Langage et Modèles Ce théorème s’applique à des théories du premier ordre. Un langage (ou une signature) est un ensemble de symboles de constantes, de fonctions et de relations. Une théorie est un…
Contexte : Comparaison des Cardinalités En théorie des ensembles, pour comparer les « tailles » (cardinalités) de deux ensembles $A$ et $B$, on utilise les notions d’injection et de bijection. Dire que $|A| \le |B|$ signifie qu’il…
Contexte : Cardinalité et Ensemble des Parties Pour comprendre le théorème de Cantor, il faut se familiariser avec deux notions de base de la théorie des ensembles : Cardinalité : La cardinalité d’un ensemble, notée…
Contexte : La Formalisation de la Consistance Le premier théorème d’incomplétude repose sur la capacité d’un système formel $T$ (suffisamment puissant) à parler de sa propre démontrabilité via la numérotation de Gödel. Le second théorème…
Contexte : Systèmes Formels et Arithmétique Pour comprendre ce théorème, il faut considérer un système formel (comme l’arithmétique de Peano ou la théorie des ensembles ZFC) qui est : Suffisamment puissant pour exprimer au minimum…