It is not the case that Cantor's transfinite arithmetic, which Craig explicitly adopts, redefines 'actual infinite' as a completed set with determinate cardinality, superseding Aristotle's framework.
?Set your confidence on the premises below to see your aggregate.