Inter-universal geometry と ABC予想 38at MATHInter-universal geometry と ABC予想 38 - 暇つぶし2ch77:132人目の素数さん 19/04/29 12:31:35.58 zcr5mi9A.net>>65 実は圏論はZFC公理系で展開可能ということをFefermanがとっくに調べていて、 Andreas Blassのサーベイの初めに載っている: URLリンク(www.math.lsa.umich.edu) 一般的には弱到達不能基数を仮定して考えるしその方が楽だが、形式的にZFCの内部 だからIUTが現状正しい数学理論であれば集合や宇宙を一般化することはなく依然としてZFCの内部の話ということになる 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch