「引き算と無限個の足し算は両立しない」で述べた内容は、一種のダメ定理（no-go theorem、ダメな定理のことではなくて、「そりゃダメだ、無理だわさ」と主張する定理）です。引き算（あるいは負の元）が自由に使える状況では無限和が使えないということです…