>>217
聞けば分かるって人は全否定ですね。

ドッペルドミナントの機能は考えないってのは受け入れ可能です。
で、II7→IのときのII7には機能を考えるんでしょうか？

数学用語を無意味に振り回すのはやめてください。
公理は証明なしに前提として受け入れる事柄、
定理は公理と仮定とから導かれる事柄です。
導かれるというのは、証明されるのと同じことです。
それを証明不可能といってるのは、導けないといってるのと同じですよ