ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜 工学物理雑談 古典ガロア理論も読む76

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>896 > >>892 > >まあ、その言い分を一応は認めます > > 「まあ、その」と「一応は」は削除してください > 誠意が感じられません > > >「自然数論の真偽の定義」を、私は使ったことがない > >前原昭二先生のPDFでも、「自然数論の真偽の定義」 > >という言葉は出てきません。 > > あなたがPDFを読んでいないことは明らかですね > 「自然数論の真偽の定義」でサーチしただけでは見つかりませんよ > > 　「直観主義的自然数論の基礎づけは, > 　　上述のような常識的解釈だけでは困難である。 > 　　”命題の真偽”に,より精密な”定義”を与えることが必要となる。 > 　　そして,それを実行したのが,ゲソツェンによる > 　　"自然数論の無矛盾性証明"である。」 > > ほら、”命題の真偽”と”定義”が出てきたでしょう。 > > 一度でも読んでいれば気づくこと > 一度も読んでいないから気づけないのですよ > > さらに続けます > > 　「ゲーデルが…与えた自然数論の無矛盾性証明も,直観主義的 > 　　”自然数論の命題の真偽”に1つの解釈を与えたものなのである。」 > > ほら、”自然数論の命題の真偽”が出てきたでしょう。 > > 一度でも読んでいれば気づくこと > 一度も読んでいないから気づけないのですよ
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.012s