以上を以て数え上げの作業終了不能性や和の極限の有限演算不能性を根拠とした決定性を否定とする｡
数え上げ無限作業は直線引きにより有限作業互換。和の極限の無限演算は関数化により有限演算互換｡
代入値∞も関数変換後代入値0で代替可能｡