ZFCG公理系
ZFCG公理系(ZFCG axiom)
Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic FoundationsのP67で出てくる
確認用
Q. ZFCG公理系
メモ
S. MacLane, One Universe as a Foundation for Category Theory, Reports of the Midwest Category Seminar III, Lecture Notes in Mathematics 106, SpringerVerlag (1969).
調査用
Wikipedia.icon
Wikipedia.icon