Cantor lets φν denote a sequence enumerating the rationals in [0, 1], which is the kind of sequence needed for his construction of a bijection between [0, 1] and the irrationals in (0, 1). ↑ Pradic, Pierre; Brown, Chad E. (2019). "Cantor-Bernstein implies Excluded Middle". arXiv:1904.09193 [math.LO]. ↑ Ettore Carruccio (2006). Mathematics and Logic in History and in Contemporary Thought.