Inter-universal geometry と ABC予想 (応援スレ) 74 (974レス)
前次1-
抽出解除 レス栞

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
309
(2): 08/26(火)22:32 ID:v2xfVefA(18/23) AAS
>内包公理を素朴集合論は認め、公理的集合論は認めません。すなわち互いに相容れません。
実際、集合{x|¬x∈x}が、素朴集合論では存在し、公理的集合論では存在しないので、両者に互換性はありません。
313
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/26(火)23:37 ID:dSyweoWi(3/4) AAS
>>308-312

村田 全先生
「ベールの有限主義は論理的には強固であっても,実際にはかえってやっかい厄介になり,しかも自然数の自然列は誰もが同じ心像をもつ(らしい)のでこれを認めるが・・・」
と記す
まあ、他人が”有限主義”であっても、どうしようもない
個人の自由ですからね
? 数学科生だって? そりゃ 君 ”有限主義”やってれば 数学科ではオチコボレは必定だよw ;p)
省23
327: 08/27(水)08:33 ID:SVlDeuLf(2/4) AAS
>>308
>内包公理を素朴集合論は認め、公理的集合論は認めません。
>すなわち互いに相容れません。
>>309
>実際、集合{x|¬x∈x}が、素朴集合論では存在し、
>公理的集合論では存在しないので、
>両者に互換性はありません。
省9
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.031s