20/05/12 16:40:26.50 gmSQkuCI.net
>>547
圏論を展開するのにZFCのような強い理論は必要ないといわれてますね
マクレーンは、ツェルメロの集合論Zより弱い集合論を考えたといわれてますし
ああ、それから、公理図式(axiom schema)を使わない公理系を
「有限公理化可能」というんですが、ZFCだけでなくペアノ算術も
有限公理化不可能です(ペアノ算術では数学的帰納法が公理図式)
あと、NBG集合論では、クラスに関する限量子を認めるので有限公理化可能です
つまり、望月氏がZFCではなくNBGと書いていれば、
公理の個数を書いても問題なかったでしょう
URLリンク(ja.wikipedia.org)