huukyou https://blog.hatena.ne.jp/huukyou/ Humanoid K’s diary https://estela.hatenadiary.jp/ 数学は20世紀にかけて、ヒルベルトによる形式主義的な整備が進み、フレーゲらの論理学の形式化と共に、数学の基礎に関する研究が熱気を帯びました。そして、生み出された一つが公理的集合論で、集合論は数学の基礎づけに必須の装置だとみなされました。集合論自体も20世紀には様々に公理化され、公理を満たすモデルが集合論の解釈とされ、具体的に研究されることになりました。理論で証明される定理はすべてのモデルで真になります。そのような定理からなる世界が集合論の顕の世界、事実の世界だとすれば、幾つかのモデルでしか真にならない言明を含む世界が集合論の冥の世界と考えることができます。 集合論の個々のモデルでは冥と顕が入り… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Festela.hatenadiary.jp%2Fentry%2F2022%2F02%2F04%2F092949" title="集合論のモデルから冥と顕の習合世界へ - Humanoid K’s diary" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-02-04 09:29:49 rich https://estela.hatenadiary.jp/entry/2022/02/04/092949 1.0 100%