Cantor's diagonal argument presupposes that completed infinite totalities are coherent mathematical ...