Cantor's transfinite arithmetic demonstrates that completed infinities obey consistent, non-contradi...