＞ふっふ、ほっほ
＞反例は、一つあれば良い
＞こちらの意図は、ショルツェの立論を潰すこと

正則行列＝正方行列とバカ発言したド素人が
フィールズメダリスト相手に何、イキってんだ？

ギャハハハハハハ！！！

＞望月IUTのラベルは無意味で、ラベルを剥がすと矛盾（「エッシャーの階段」）
＞しかし、型理論という反例がある
＞ラベル→型 と読み替えれば
＞型理論において、型を無くすと矛盾が起きるという論法では
＞型理論で矛盾が起きる証明には なっていない

全然関係ない例えで反論した気になる誇大妄想狂患者　カラスの世田

いいからおまえは広島廿日市に帰って牡蠣でもとってろ

数学とか無理だから金輪際関心持つな　数学は囲碁将棋みたいな遊戯じゃねえ！