Voici une petite vidéo pour présenter l'axiome qui permet la construction des ensembles infinis, et en particulier de l'ensemble des entiers naturels.
Tout sur les ensembles : • Paradoxe de Russell
Les axiomes de Peano (encore une fois désolé pour le son...) : • N et l'axiomatique de Peano
0:00 Introduction
2:40 Axiome de l'infini
18:03 Axiomes de Peano
23:40 Conclusion