純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
64(2): 07/24(木)00:26 ID:6YDhy16j(1/9) AAS
>>62
>問題は、これが 公理的集合論として 自然数の集合Nになっているか
N＝ωは証明済みだから、仮に自然数の集合になってないとしたらωもそうだよｗ
>それについて どの公理を使ったかを明示しながらの証明が必要だよね 公理的集合論としては
君は証明できるかい？ 何なら教えてあげようか？
>さて、下記 独仏英wikipedia と Akito Tsuboi 筑波大と 渕野 昌の５者は、∩を使わない。∩を使わないで済ましているよ
だから？
省10
72(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/24(木)11:16 ID:4LVoLOK4(4/4) AAS
さて 本題に戻る
>>64
(引用開始)
>>63
>分出公理により，N = {n ∈ On : n は自然数 }は集合になる．
それだめｗ
自然数を構成するのに自然数を使ったらダメでしょｗ 君、いつも循環論法やらかすね 頭悪いね
省26
209: 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)07:10 ID:ZOjwMpAx(1/2) AAS
>>92
>>>90-91で引用されている内容って、>>77（の前半）と別に矛盾しないのでは。
ありがとう
矛盾はしないとしても
ポイントは、>>91 尾畑研 第2章 集合
"ラッセルのパラドックスは集合論の矛盾を突いているように見えるが
今日から見れば何が集合であり何が集合でないのかを設定し切れていなかったということである
省36
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s