積集合を公理化すれば和集合は公理化不要とか言っちゃうオチコボレが何か言っとる