Inter-universal geometry と ABC予想 (応援スレ) 73 (770ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
206(1): 08/01(金)11:50 ID:NjAYNNPt(1) AAS
「公理を使う」「公理を使うと言う（明示する）」の意味がよく分からないかな。
ある公理がなければ充足されない論理式を示してその充足を主張すれば、それは（暗黙的かもしれないけれど）公理を使っていることになるのでは。「ZFC公理の中では、命題は 集合の言葉で書かれるから どの公理を使ったかは自然に明記される」（>>185）というのは、そういう意味かと思っていたんだけど。
209(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/01(金)15:48 ID:N5g2niEk(3/4) AAS
>>206
>「公理を使う」「公理を使うと言う（明示する）」の意味がよく分からないかな。
>ある公理がなければ充足されない論理式を示してその充足を主張すれば、それは（暗黙的かもしれないけれど）公理を使っていることになるのでは。「ZFC公理の中では、命題は 集合の言葉で書かれるから どの公理を使ったかは自然に明記される」（>>185）というのは、そういう意味かと思っていたんだけど。
コメントありがとうございます。スレ主です
１）直接回答するまえに、ちょっと事例を考えよう
数学論文や教科書において
数学論文で査読があるとして、査読者が分かるように書く必要があるよね
省29
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.589s*