>>233
>集合論の公理系でいいじゃない。
それも分かってないけど