En cours de chargement...
- Les systèmes formels
- Système formel et métathéorie
- Le théorème de Gödel
- Les généralisations directes du théorème de Gödel
- Le corollaire de Gödel et la théorie de la démonstration
- Le théorème de Church et les problèmes de décision
- La théorie des prédicats de Kleene
- La méthode sémantique, Les théorèmes de Tarski et de Mostowski
- Autres faits de limitation
- Suggestion philosophique