>>627
いやたぶん無い時点では無いものとして扱うのが普通だと思うよ
それじゃあ断定なんて永遠にできない理屈になるじゃん
無い証明なんて出来ないんだから