>>404
>公理図式のことかい？それなら潰れたのは君だよ、キ・ミ

つまらんシッタカして、顰蹙買ったのは君だよｗ
問題になったのは、下記のIUT IVの [i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ?cf., e.g., [Drk], Chapter 1, §3].の記述だったね

十七条憲法知ってますか？（＾＾
the nine axioms を、9条と数えれば良いじゃんかｗｗ

確かに、下記渕野には”Ｐ27 ZFC と異なり，BG は有限個の公理で公理化可能なことが知られている（[G¨odel 1940] を参照）．”ってあるが
公理図式の話
けど、それ単位が違うよ。”条”と”個”だよ。こういうとき、日本語便利だな。英語は、普通はこういう使い分けしないからな〜！！ｗ（＾＾；

（参考）
http://www.kurims.kyoto-u.ac.jp/~motizuki/Inter-universal%20Teichmuller%20Theory%20IV.pdf
INTER-UNIVERSAL TEICHMULLER THEORY IV: ¨LOG-VOLUME COMPUTATIONS AND SET-THEORETIC FOUNDATIONS Shinichi Mochizuki April 2020
(抜粋)
Ｐ67
In the following discussion, we shall work with various models ? consisting
of “sets” and a relation “∈” ? of the standard ZFC axioms of axiomatic set theory
[i.e., the nine axioms of Zermelo-Fraenkel, together with the axiom of choice ?cf., e.g., [Drk], Chapter 1, §3].

https://ja.wikipedia.org/wiki/%E5%8D%81%E4%B8%83%E6%9D%A1%E6%86%B2%E6%B3%95
十七条憲法

https://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
構成的集合と公理的集合論入門 渕野昌 (平成 27 年)
Ｐ26
BG はベルナイスによる [Bernays 1937] で導入された公理系
Ｐ27
ZFC と異なり，BG は有限個の公理で公理化可能なことが知られている（[G¨odel 1940] を参照）．

次の定理により，BG と ZF または BGC と ZFC は（集合に対する命題
に関しては）全く同等な公理系になっていることがわかる．

https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
ZF 公理系

https://tnomura9.exblog.jp/22093775/
tnomuraのブログ フォンノイマン・ベルナイス・ゲーデル集合論（NBG） 2015-08-30