>>87
シュレーディンガーの猫とは違うけど、
数学で証明も否定もできないことといえば、選択公理や排中律みたいに
本人の哲学的立場によって受け入れられたり受け入れなかったりする
公理が使われている場合かな