Séance de cours
Cette séance de cours couvre les propriétés supplémentaires des nombres réels, y compris la comptabilité et les bijections entre IN* et 2. Il démontre que l'IR n'est pas comptable par une preuve par contradiction, montrant l'impossibilité de numéroter des éléments de [0, 1].