>>764
>説明になってないね
>具体的には”re-initialization”がconsistentだという証拠が全くない
>それじゃ誰も説得できない

・「誰も」に反例があるよ。DupuyとJoshi氏は、納得している
・数学では証拠はいらない。IUT Cor3.12（その元のCor3.11も）に証明はある。証明が一般の証拠に同じ役割をするよ
・説明はあくまで補足説明（補助）だよ、数学ではね、知らなかったのか？ｗｗ