あと、「帰結ではなく評価のための理論を残す」というのはIUT・Ⅲの3.12までを残すという意味でしょう？
そこが問題になっているのですが、もうSSや外野の疑問は無視しちゃえとｗ　まあ、jinなどもそう思っているでしょうねｗ

ちなみにⅠとⅡについて文句を言うヤツはいないのだから、この2本だけ掲載すればいいという意見が以前ありましたが、
私はこれも意味がないと思います。これらはⅢの3.11以降、つまり多輻的アルゴリズムとその評価のための下準備、
言い換えれば定義集のようなものなので、この2本だけアクセプト・掲載しても全く意味がありません