25/11/02 20:42:52.49 kHsCJN3F.net
＞ふっふ、ほっほ
＞反例は、一つあれば良い
＞こちらの意図は、ショルツェの立論を潰すこと
正則行列＝正方行列とバカ発言したド素人が
フィールズメダリスト相手に何、イキってんだ？
ギャハハハハハハ！！！
＞望月IUTのラベルは無意味で、ラベルを剥がすと矛盾（「エッシャーの階段」）
＞しかし、型理論という反例がある
＞ラベル→型 と読み替えれば
＞型理論において、型を無くすと矛盾が起きるという論法では
＞型理論で矛盾が起きる証明には なっていない
全然関係ない例えで反論した気になる誇大妄想狂患者 カラスの世田
いいからおまえは広島廿日市に帰って牡蠣でもとってろ
数学とか無理だから金輪際関心持つな 数学は囲碁将棋みたいな遊戯じゃねえ！