26/08/01 00:05:46.80 sQaREFls.net
>>708
(引用開始)
>グロ宇宙はエレメンタリートポスでしかないだろ
これを同値だと言ったと勘違いしたんだなw
どういうロジックを使うかの話だよ
証明系の話なんでね
(引用終り)
意味分らん
・グロタンディーク宇宙 URLﾘﾝｸ(en.wikipedia.org)
・Elementary topos URLﾘﾝｸ(en.wikipedia.org)
・トポス (数学) URLﾘﾝｸ(en.wikipedia.org)
・History of topos theory URLﾘﾝｸ(en.wikipedia.org)
・Intuitionistic type theory URLﾘﾝｸ(en.wikipedia.org)
で？ これらが どうかしましたか？