18/01/04 08:41:05.15 ihyUnaaC.net
やっぱりメタな立場として、有限の立場というか有限の手続きのみによって認められるものを認める立場をとろうとすると、ZFCの公理はメタな立場の公理としては案外認められない感じしますね
選択公理は言うまでも無く、置換公理、正則性公理も受け入れられなくなりますし、
巾集合公理、外延性公理、和集合公理も受け入れたらダメなんじゃ寝？って気分になります
空集合公理、対集合公理は何のためらいも無く受け入れることが出来ますが。
18/01/04 08:41:05.15 ihyUnaaC.net
やっぱりメタな立場として、有限の立場というか有限の手続きのみによって認められるものを認める立場をとろうとすると、ZFCの公理はメタな立場の公理としては案外認められない感じしますね
選択公理は言うまでも無く、置換公理、正則性公理も受け入れられなくなりますし、
巾集合公理、外延性公理、和集合公理も受け入れたらダメなんじゃ寝？って気分になります
空集合公理、対集合公理は何のためらいも無く受け入れることが出来ますが。