Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
185(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)07:28 ID:3GStjv9j(3/5) AAS
>>169-170
(引用開始)
>{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}は、冪集合公理 P(A) を使っていない（使うと言ってない）
はい、大間違いです。
使うと言ってないからといって使っていないことにはならない。且つZF上では使ってよい。
(引用終り)
ふっふ、ほっほ
省15
199(1): 08/01(金)08:22 ID:n2NtHms/(9/17) AAS
>>185
>但し、どの公理を どう使うかは、明示しなければならない！！！（下記 公理 ja.wikipedia）
下記とやらに君の持論は一言も書かれてなくて草。
妄想はダメだよ。
206(1): 08/01(金)11:50 ID:NjAYNNPt(1) AAS
「公理を使う」「公理を使うと言う（明示する）」の意味がよく分からないかな。
ある公理がなければ充足されない論理式を示してその充足を主張すれば、それは（暗黙的かもしれないけれど）公理を使っていることになるのでは。「ZFC公理の中では、命題は 集合の言葉で書かれるから どの公理を使ったかは自然に明記される」（>>185）というのは、そういう意味かと思っていたんだけど。
207: 08/01(金)14:15 ID:n2NtHms/(13/17) AAS
>>185
>但し、どの公理を どう使うかは、明示しなければならない！！！（下記 公理 ja.wikipedia）
無限公理「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」
与えられたxに対して{x}が存在するためには対の公理が必要なのに使うと明示してないから無限公理は間違いなんだね。知らなかった。
論文発表した方が良いよ。「ZF上に無限集合は存在しない。なぜなら無限公理は間違いだから。」と
209(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)15:48 ID:N5g2niEk(3/4) AAS
>>206
>「公理を使う」「公理を使うと言う（明示する）」の意味がよく分からないかな。
>ある公理がなければ充足されない論理式を示してその充足を主張すれば、それは（暗黙的かもしれないけれど）公理を使っていることになるのでは。「ZFC公理の中では、命題は 集合の言葉で書かれるから どの公理を使ったかは自然に明記される」（>>185）というのは、そういう意味かと思っていたんだけど。
コメントありがとうございます。スレ主です
１）直接回答するまえに、ちょっと事例を考えよう
数学論文や教科書において
数学論文で査読があるとして、査読者が分かるように書く必要があるよね
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s