Cantorian set theory demonstrates that a coherent formal treatment of completed infinities is possib...