Mathematical 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_Hempel