代替集合論
#Fleeting_Notes
代替集合論(Alternative set theory)
MacLane's set theory
Typed set theory
クラスのある集合論
VGB set theory
→
NBG
Kelly-Morse set theory
Ackerman set theory
Pocket set theory
CZFA
ZFCG公理系
素朴集合論CONS
確認用
Q. 代替集合論
参考
『代替集合論＊ （Alternative Set Theories） の調査』
矢田部 俊介
. 循環性を受け入れる ――構成主義における可述性の位置づけの変更とその影響――. 2013.
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/173335/1/phs_7_1.pdf
調査用
Google.icon
代替集合論(日)
Google.icon
Alternative set theory(英)
Wikipedia.icon
代替集合論 - Wikipedia(日)
代替集合論(検索) - Wikipedia(日)
Wikipedia.icon
Alternative set theory - Wikipedia(英)
Alternative set theory(検索) - Wikipedia(英)