Foundations of mathematics
https://en.wikipedia.org/wiki/Foundations_of_mathematicsLogique et fondements
logique-et-fondementsMathematical logic topics
https://en.wikipedia.org/wiki/Template:Mathematical_logicProof theory
https://en.wikipedia.org/wiki/Proof_theoryDéfinir la négation
https://www.lebesgue.fr/sites/default/files/video/5min-joray.mp4Les théorèmes d'incomplétude de Gödel - Science4All
Logiques modale
https://fr.wikipedia.org/wiki/Logique_modaleModel theory : study of classes of mathematical structures
https://en.wikipedia.org/wiki/Model_theoryThe Open Logic Text
http://people.ucalgary.ca/~rzach/static/open-logic/open-logic-complete.pdfTroll velu sur la notion d'explicite, l'axiome du choix, le constructivisme, sur un fond de bases des fonctions continues
http://www.les-mathematiques.net/phorum/read.php?3,831223,page=1Slingshot argument
https://en.wikipedia.org/wiki/Slingshot_argumentBrouwer–Heyting–Kolmogorov interpretation
https://en.wikipedia.org/wiki/Brouwer–Heyting–Kolmogorov_interpretationParaconsistent logic
https://en.wikipedia.org/wiki/Paraconsistent_logicParadoxe de Hempel (ou de l'ornithologie en chambre)
https://fr.wikipedia.org/wiki/Paradoxe_de_HempelThéorie des ensembles
théorie-des-ensemblesSet theory portal
https://en.wikipedia.org/wiki/Portal:Set_theoryThéorie des ensembles de Zermelo-Fraenkel
https://fr.wikipedia.org/wiki/Théorie_des_ensembles_de_Zermelo-FraenkelAlgèbre des parties d'un ensemble
https://fr.wikipedia.org/wiki/Algèbre_des_parties_d'un_ensemblePrésentation de base des objets de ZF (axiomes, entiers, relatifs...) - Science4All
Théorème de Goodstein
https://fr.wikipedia.org/wiki/Théorème_de_GoodsteinMémoire sur les Suites de Goodstein et l'Incomplétude de l’arithmétique de Peano
https://www.math.ens.fr/enseignement/telecharger_fichier.php?fichier=441Théorème de Cantor-Bernstein
https://fr.wikipedia.org/wiki/Théorème_de_Cantor-BernsteinDeath by infinity puzzles and the Axiom of Choice - Mathologer
Une bijection entre Q et N
Théorie des catégories
théorie-des-catégoriesSujets de la Théorie des catégories
https://fr.wikipedia.org/wiki/Modèle:Palette_Théorie_des_catégoriesThéories des types
théories-des-typesHomotopy type theory
https://en.wikipedia.org/wiki/Homotopy_type_theoryHomotopy type theory - Computerphile
The HoTT Book
https://homotopytypetheory.org/book/L'axiome d'univalence - Science4All
La théorie homotopique des types - Science4All
Fondements constructivistes ou intuitionnistes
fondements-constructivistesDivision by three - Doyle & Conway (dont une partie de Cantor-Bernstein dans ZF)
https://math.dartmouth.edu/~doyle/docs/three/three.pdfFive Stages of Accepting Constructive Mathematics - Andrej Bauer @ IAS
Set Theory and Foundations of Mathematics - Sylvain Poirier
http://settheory.net