[過去ログ] Inter-universal geometry と ABC予想 49 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
548
(1): 野暮天 2020/04/13(月)16:23 ID:ukZx7597(31/75) AAS
>>530
>IUTの論文でZFC公理系の公理の数が9個って指摘

ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ?

ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう

しかし系3.12の「証明」に集合論とか絡んでおるんか?
省1
1-
あと 454 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.009s