« Fondements des mathématiques » : différence entre les versions

|niveau=1116

| 1 = {{C|Que sont les mathématiques ?|0|?16}}

| 2 = {{L|[[Logique (mathématiques)C|La logique]]|0|?16}}

| 3 = {{C|Les expressions formelles, les ensembles et les fonctions|0|?16}}

| 4 = {{LC|[[L'incomplétude mathématique]]|0|1516}}

| 5 = {{LC|[[AxiomesLes axiomes des théories des ensembles]]|0|16}}

| 6 = {{C|Des preuves de cohérence|0|?16}}

| 7 = {{C|Preuve naturelle de la cohérence de l'arithmétique formelle|0|?16}}

| 8 = {{C|Construction finitaire de l'ensemble des vérités|0|?16}}

| 9 = {{C|Preuve formelle de la cohérence de l'arithmétique formelle|0|?16}}

| 10 = {{C|Cohérence des théories finitaires|0|?16}}

| 11 = {{C|Second théorème d’incomplétude de Gödel et le programme de Hilbert|0|?16}}

| 12 = {{C|Paradoxes des théories finitaires|0|?16}}

| 13 = {{C|Cohérence des théories infinitaires|0|?16}}