Cantor's transfinite arithmetic generates theorems (e.g., |ℕ| < |ℝ|) that are unintelligible without...