- 1 名前：１３２人目の素数さん mailto:sage [2020/07/18(土) 10:01:53 ID:ywyns0bH.net]
- このスレでは、超限集合論その他関連する事項を、全て扱います
脱線ありですｗ
１）テンプレ１
過去スレ
現代数学の系譜 カントル 超限集合論2
https://rio2016.5ch.net/test/read.cgi/math/1576852086/
現代数学の系譜 カントル 超限集合論
https://rio2016.5ch.net/test/read.cgi/math/1570237031/
関連スレ
１）現代数学はインチキのデパート
https://rio2016.5ch.net/test/read.cgi/math/1570145810/28-
直接には、ここの28からの続き
２） １）の前スレ
現代数学はインチキだらけ
https://rio2016.5ch.net/test/read.cgi/math/1567930973/1-
３） ２）の中の正則性公理に関する議論の前のスレ（＾＾
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77
https://rio2016.5ch.net/test/read.cgi/math/1568026331/1-
２）テンプレ２
まあ、カッカとせずに、のんびりやりましょう（＾＾
あと、関連事項は、>>1のスレから適宜写してくることにしましょう（＾＾
なお、私は
『おっさんずラブ』ならぬ、おっさんずゼミ・・ つまり;
おっさんずゼミ＝「どこのだれとも知れぬ”名無しさん”のおっさんたちとの、ゼミ」、それやる気ないです
おれは、そんな趣味ないよｗ（＾＾；
好きなときに好きなことを書かせてもらいます
５CH数学板は、遊びです
https://ja.wikipedia.org/wiki/%E3%81%8A%E3%81%A3%E3%81%95%E3%82%93%E3%81%9A%E3%83%A9%E3%83%96
おっさんずラブ
(抜粋)
『おっさんずラブ』は、2016年からテレビ朝日系列において放送されているテレビドラマシリーズである。同年12月31日（30日深夜）に『年の瀬 変愛ドラマ第3夜』として単発放送された[1][注釈 1]後、「土曜ナイトドラマ」枠で2018年に第1シリーズ[2]、2019年に第2シリーズが放送予定である。
(引用終り)
- 601 名前：vという命題を体系内の論理式として表現する. その論理式を C とおく.
「 C が体系内で証明できるならば U も体系内で証明できる」ということを証明する. このとき，U は体系内では証明できない論理式だから，C もまた体系内では証明できない論理式である. （第二不完全性定理）
上の証明のステップ６において， 「形式的体系が無矛盾である」という命題を表現する論理式の選び方は一通りではありません．
クライゼルは，無矛盾性を表現する論理式で， ゲーデルが不完全性定理の証明で用いた論理式とは別のものをとると， それが自然数論の公理を含む形式的体系のなかで証明できる場合があることを注意しました．
これは，数学の命題を形式的に表現する絶対的な方法が確定しているわけではないことを示唆しています．
関連書籍
前原昭二（著）： 数学基礎論入門，朝倉書店，1977
広瀬健／横田一正（著）： ゲーデルの世界，海鳴社，1985
日本数学会（編）： 岩波数学辞典第３版 184 数学基礎論，岩波書店，1985 [] - [ここ壊れてます]
- 602 名前：１３２人目の素数さん [2022/12/20(火) 15:59:00.03 ID:R0GrT6qP.net]
- https://i.imgur.com/eIWdRj0.jpg
https://i.imgur.com/iFtPJ3h.jpg
https://i.imgur.com/zgT3zjW.jpg
https://i.imgur.com/Q2uo3wk.jpg
https://i.imgur.com/vEyU1OZ.jpg
https://i.imgur.com/LzSyaPo.jpg
https://i.imgur.com/ne5KZru.jpg
https://i.imgur.com/Au4y3K5.jpg
https://i.imgur.com/Ek2qx5A.jpg
https://i.imgur.com/xGjbFtj.jpg
https://i.imgur.com/88TDqC7.jpg
https://i.imgur.com/CJbLQuu.jpg
- 603 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
