(存在しないと証明するには公理の否定が必要だとは思わないみたい)