>>707
これは酷い・・・

＞「その中に別々にスキーム論があって, それを取り替えることを “宇宙を取り替える” 」
＞なら、inter-scheme logic が素直だろ？

論をlogicって訳す馬鹿　はじめてみた

theoryって言葉　知らんのか？

＞Grothendieck 宇宙は、1つだろ？

Grothendieckが見たら頭抱えるぞ・・・

＞同型を除いて一意かもしれないがね

訳も分からず呪文を唱えると自爆するよ