Inter-universal geometry と ABC予想否定派

Inter-universal geometry と ABC予想否定派at MATH

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch487:論理狼 ◆y7fKJ8VsjM
20/04/25 16:41:38 ReTz6AXc.net
いっとくけど、基礎の公理のない集合論を考えたいならそうしたっていいよ
別に、基礎の公理がないと矛盾する、とかいうことはないから

でも、IUTで∈-loopsが必要なわけではないんだろ？
simulate ∈-loopsって書いてあるけど、loopならいいんだろ？
だったら∈なんて一切語らなければいいじゃん

いったい、何がしたいの？

次ページ

続きを表示

1を表示