Relations, séquences et sommations

Cette séance de cours couvre la définition des cordes comme des séquences finies de caractères, des preuves télescopiques, lordre lexicographique sur les cordes, les ensembles dénombrables, la cardinalité, et le concept de comptabilité. Il explore également la dénombrabilité des entiers pairs positifs, des entiers et des nombres rationnels, ainsi que la dénombrabilité des jeux de puissances. La séance de cours se termine par une discussion sur les ensembles innombrables et la diagonalisation de Cantor.