ブルバキの集合論ではACを証明してあるね