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