Cantor et les infinis

Le but de cet exposé est d'introduire quelques idées majeures de Cantor sur l'infini. On commencera par construire la suite des ordinaux (qui consiste à compter jusqu'à l'infini et au delà...) avant de l'utiliser dans une application concernant l'hypothèse du continu (il n'y a pas d'infini coincé entre celui des entiers et celui des réels).