>>313
教科書によっては空集合の存在は公理じゃないけどね