Cantor's transfinite arithmetic, which Craig explicitly adopts, redefines 'actual infinite' as a com...