TY - RPRT TI - The Cantor's First Diagonal Formalized and Extended AU - João Alves Silva Júnior PY - 2013 UR - https://arxiv.org/abs/1305.4271 ID - 1305.4271 ER -