Mots-clés – Auteurs

prédicat

Il y a 4 résultats pour cette recherche

2001 La logique ou l’art de raisonner.
Auteurs : Delmas-Rigoutsos Yannis ; Lalement René
1962 Bulletin de l’APMEP. N° 222. p. 155-164. Un exemple d’abstraction, de formalisme et de métathéorie (suite).
Auteurs : Balibar Jean ; Gödel Kurt
1962 Lecture commentée d’une méta-démonstration de Gödel : la démonstration, par Kurt Gödel, de la compatibilité de l’axiome du choix et de l’hypothèse généralisée du continu avec les axiomes de la théorie des ensembles.
Auteurs : Balibar Jean ; Gödel Kurt
1961 Bulletin de l’APMEP. N° 217. p. 11-26. Un exemple d’abstraction, de formalisme et de métathéorie.
Auteurs : Balibar Jean ; Gödel Kurt