>>129
>あの～ｗ IUTの証明以外で "simplification"の手法で 証明可否を論じた例が あれば教えてね
まず
scholzeさんが指摘しているのは意味が通らないということのようです
前代未聞の意味の通らなさなのかもしれませんね
その問題を指摘するのにどのように無駄な部分を取り除いたのかあなたは理解して居ません
全く問題のない指摘かもしれませんよ
理解せずにそれをやってはいけないと否定すること自体が
あなたが書いた案山子論法であり卑怯な論法です
>>基礎論屋は常に{{ }}＋{{ }, {{ }}}＝{{ }, {{ }}, {{ }, {{ }}}}と見てなくてはいけないと思い込んでますか？
>真逆だよ
ならば基礎論屋と普通の数学者は1+2=3を1+2=3と見ているわけですから何の問題も無いのでは？
>ZFCとか ZFCGの勉強は良いと思うよ 勉強することは
どういうことが許されるか危険かを勉強するのが普通ですね
使うかどうかはまた別でしょう