>>632
>グロ宇宙はエレメンタリートポスでしかないだろ

これを同値だと言ったと勘違いしたんだなw
どういうロジックを使うかの話だよ
証明系の話なんでね