La théorie ZFC est le socle des mathématiques standards. Dans cette vidéo, je vous montre comment les nombres s'inscrivent dans cette théorie (en fait les constructions présentées ici ne reposent que sur la théorie Z de Zermelo).
L'infini et les fondations mathématiques | Science4All
https://www.youtube.com/playlist?list=PLtzmb84AoqRRgqV5DfE_ykuGQK-vCJ_0t
1+1=2 (en arithmétique de Peano) | Infini 13
https://www.youtube.com/watch?v=oKprCgIKWxo
La diagonale dévastatrice de Cantor | Infini 16
https://www.youtube.com/watch?v=xqSKawORrPo
Les théorèmes d'incomplétude de Gödel | Infini 18
https://www.youtube.com/watch?v=2CqApwhwcTc
Les "mathématiques modernes" de Bourbaki | Infini 19
https://www.youtube.com/watch?v=7fbn99V1f9U