>>447
ZFC公理くらい自分で調べられますよね?