- 643 名前：現代数学の系譜 雑談 mailto:sage [2020/05/22(金) 13:24:28.64 ID:koULGAjk.net]
- >>603
おっさんの弱点は、できるだけ記号で思考しようとしている点だよ。それで数学科落ちこぼれたんだ
ZFC 9個の公理と言わずに、8個の公理＋1個の公理図式とでもいえばよかったか？
なお、IUTがZFCの公理系に翻訳できるとしても、IUT内では必ずしも 一階述語論理とは言えないよね
∵ 圏論を使いまくりだから
それに、ZFCの保存拡大のフォン・ノイマン＝ベルナイス＝ゲーデル集合論(NBG)は、有限公理化されている
∵ クラスの概念を使うから
おっさんのシッタカは、底が見えているよｗ（＾＾；
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
ZF 公理系
・置換公理 "関数クラス"による集合の像は集合である：
∀ x∀ y∀ z((ψ (x,y)∧ ψ (x,z))→ y=z)→ ∀ X∃ A∀ y(y∈ A←→ ∃ x∈ Xψ (x,y)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。
つづく
|
 |
