他の棚では、例えば『ブルバキ数学原論』にも
> それにしても, ともかくそれらの論理学者がなしとげた本質的な進歩は, どうやら今日の意味での《命題論理》の基礎づけに当ることであったらしい.
> フレーゲの計画[ 24 b〕, c)]は, 《概念記号(Begriffschrift)》という形で形式化された一つの論理学の上に, 数の理論(arithmetique)》を基礎づけることであったが, 彼が自然数を定義したやり方については,もう少し先でまた述べようと思う.
> 極限の概念が,[ギリシャ時代の]比例論と同じ位に厳密な仕方で基礎づけられるようになった後も,今度の反常識的現象はやはり現われたのである
> そればかりではなく,理論的数論の上に基礎づけられた《モデル》は, 公理論的方法が拡張され,人間精神の自由な創造としての数学的対象というものが理解されてくると共に,なおーそうの重要性を獲得する.
> 三段論法の理論にしても,もっとも容易に基礎づけられるし,また《全体は部分より大なり》というような公理についても同じことが言える.
> 直観にうったえて基礎づけようとするのは無意味だという結論が導かれるべきであ
以上「集合論3」のように、「集合論2」「代数1」「実一変数関数(基礎理論)1」「位相1」「位相2」「代数4」に「基礎づけ」の言葉がある。
「基礎付け」がごく一般的な言葉であることは、前スレから暴れてる一部の基地外以外は、皆了解していることだ。
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
145132人目の素数さん
2016/09/09(金) 00:41:51.40ID:ldcXxrQT■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【サッカーW杯】開催国アメリカがGS2連勝! 前半に2ゴールを奪取、オーストラリアに2-0で快勝 [鉄チーズ烏★]
- 《皇室乗っ取りクーデター》麻生太郎氏 “養子案”主導に広がる反発…“天皇の外戚になる可能性”との指摘も [バイト歴50年★]
- 高木豊氏 本田圭佑のW杯解説に私見「相手の選手も知らないと、野球ではボロカス言われるよ」★2 [jinjin★]
- 【気象】台風7号「メーカラー」が発生 今後の動向に注意 [牛乳トースト★]
- 【速報】自民、成長投資促す新たな財政目標を提言へ [バイト歴50年★]
- 東京駅で切符紛失→「3倍払って」と言われ→拒否すると「警察呼ぶ」と言い始め警備5人が包囲… BD選手のトラブル報告にネット紛糾★2 [冬月記者★]
- デンマーク、インフレ対策で一部食料品の税金即時廃止 反日か?😡 [399259198]
- 【悲報】女さん「男さあ、サッカースタジアム清掃するなら家でもやってよ」→正論すぎてBBCに取り上げられるwwwwwwwwwwwww [839150984]
- 2年後に開通する瀬戸内一周サイクリングコースにむけてミニベロが欲しいんだが。
- (📞´・ω・ `)あ、モシモシ?ダウンタウンの松ちゃん?
- お前らの妻っているじゃん?
- 【FIFAワールドカップ2026】 D組アメリカ×オーストラリア4:00(NHK3:45~,DAZN),C組スコットランド×モロッコ7:00(フジテレビ6:00~,DAZN) [226731781]