>>392
公理的集合論のパラドックスなんて聞いたことがない。