>>38
>多分、どちらか一方を公理にすれば、他方は それから導かれるだろう
任意の集合A,Bとそれらの積集合A∩Bが与えられている前提から和集合A∪Bの存在を導いてみて