>>958
自分の作った機械の強さを比較したいんでしょ？
あとついでに他の論理体系も混ぜて。
まぁ抽象数学と違って綺麗な一般化って感じがしないのは事実。
>>959
＞こういう驚きが計算量理論にはない。
これは単に無知だからじゃ・・・