Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
122(1): 07/31(木)21:22 ID:1CxagZxr(12/17) AAS
>>111
>素朴集合論の議論と、公理的集合論の議論との
>区別が 全くついていないね ゴキブリさんはｗ ；ｐ）
君、何の話してんの？ ZF上の話しかしてないんだけど ZF上ではべき集合の公理が使えるのに使ったらダメなの？ それ言いがかりだよ
156(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/31(木)23:50 ID:ZOjwMpAx(5/6) AAS
>>122-124
>>N：＝{0,1,2,・・・} と定義
>は循環論法だよ。
ふっふ、ほっほ
循環論法ではないよ
下記の Natural number en.wikipedia の 歴史の項を百回音読してね
”このアプローチは現在、ペアノ算術と呼ばれている。これは、順序数の特性の公理化に基づいている。すなわち、各自然数は後続の数を持ち、すべての非ゼロの自然数は一意の先行数を持つ。ペアノ算術は、集合論のいくつかの弱いシステムと等価である。そのようなシステムの1つが、無限公理をその否定に置き換えたZFCである”
省9
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.022s