ある命題が選択公理なしで証明できないことってどうやって証明するの?