Inter-universal geometry と ABC予想 (応援スレ) 73 (766ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
209(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)15:48 ID:N5g2niEk(3/4) AAS
>>206
>「公理を使う」「公理を使うと言う（明示する）」の意味がよく分からないかな。
>ある公理がなければ充足されない論理式を示してその充足を主張すれば、それは（暗黙的かもしれないけれど）公理を使っていることになるのでは。「ZFC公理の中では、命題は 集合の言葉で書かれるから どの公理を使ったかは自然に明記される」（>>185）というのは、そういう意味かと思っていたんだけど。
コメントありがとうございます。スレ主です
１）直接回答するまえに、ちょっと事例を考えよう
数学論文や教科書において
数学論文で査読があるとして、査読者が分かるように書く必要があるよね
省29
211: 08/01(金)16:03 ID:n2NtHms/(14/17) AAS
>>209
出たあああああ ∩恐怖症ｗ まだ治ってなかったんだね 早く治した方が良いと思うよ みっともないから
それで無限公理は間違いなんでしょ？ 対の公理を使うなんてどこにも書かれてないからね 早く論文出しなよ 現代数学を根底から覆す大発見じゃん
>無限公理「空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s