ZFCってでかすぎるんだよね
成り立つかどうか胡散臭い定理が結構ある
全体的にあまりに空想的な命題が多すぎて設定次第でどうにでもできてしまうからね
そこが人工的な感じがして今一本気でやればい部分がある