>>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)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。

つづく