>>301
>一階述語論理を、無制限に使って良いとしたときでも、
>ZとZFとZFCとで、出来る集合になぜ違いが出来るのか?
 公理が違うから(完)