Inter-universal geometry と ABC予想 (応援スレ) 73 (771ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
173(1): 死狂幻調教大師S.A.D.@月と六ベンツ 08/01(金)01:31 ID:1t6/xN+D(10/28) AAS
漢文とわがなローマがなとアルファベット数式と記号C言語を使う密教的な渋谷センター街の雑然とした数学は、数学にかなり魅力があるし、可能性を感じる。古典としてあなたの仕事は残るよ。のちの女学生が仰ぎ見るだろう。
184(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:26 ID:3GStjv9j(2/5) AAS
>>173 & >>160-162
(引用開始)
>>157
>P(a)から 有限集合を除いた 集合族が a^ ＝ {x ∈P(a) | M(x)}
はい、大間違いです。
無限集合という言葉を粗雑に使うから間違う。
(引用終り)
正確には、”大間違い”ではなく 不適切だろう。これを書いた人は
『「x は無限集合である」という命題を M(x)』>>157 としている
（ 外部ﾘﾝｸ:ufcpp.net 自然数 - 集合論 未確認飛行 C より ）
しかしながら、ZFC公理系では ”無限集合”という言葉は ZFC公理系の中では使わない
あくまで、公理系の外の用語です
命題 M(x)を、”無限集合”という言葉を使わずに ZFC公理系内で規定しようとすると
おそらくは 循環論法になる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.026s