公理的集合論研究所で出現する、形式的体系の一覧表をエクセルファイルにまとめてアップロードしました。W-BGE とか D-BGE とか、種類が多いので表があったほうがいいでしょう。
Linked Data の部分にあります。
https://www.researchgate.net/publication/352165875_gonglidejihelunyanjiushu_zhengminglundeapurochi
ZFC のシリーズ (集合と個体のみを扱う理論)と
BGE のシリーズ (集合とこタイトル位も扱う理論)
は別シートにしています。
あと、pdf 本文の方のミスプリを訂正しました。本文 p.323 で述べられている DW-BGE の置換公理について. A(x, y) に類文字が現れないと言う条件が抜けていました.
但し、この誤植の関わる部分は、BGE (別名 NBG) が ZFC の保存拡大であることの recursive な証明の議論には、全く影響しません。(DW-BGE については異なる種類の別の議論となっています。)
Dr. 加藤木 一好
