« Fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Remaniement |
|||
Ligne 10 :
| 5 = {{L|[[Axiomes des théories des ensembles]]|0|16}}
| 6 = {{C|Des preuves de cohérence|0|?}}
| 7 = {{C|Une preuve naturelle de la cohérence de l’arithmétique formelle|0|?}}
| 8 = {{C|La construction finitaire de l’ensemble des vérités à partir d’un modèle|0|?}}
| 9 = {{C|Une preuve formelle de la cohérence de l’arithmétique formelle|0|?}}
| 10 = {{C|La cohérence des théories des ensembles finitaires|0|?}}
| 11 = {{C|Le second théorème d’incomplétude de Gödel et le programme de Hilbert|0|?}}
| 12 = {{C|Les Paradoxes des théories finitaires|0|?}}
| 13 = {{C|La cohérence des théories infinitaires|0|?}}
| département = Fondements logiques et ensemblistes des mathématiques
}}
| |||