>>310
？？？？
>「真がzeroじゃない」時、「zeroでない物が真で無いこと」を証明してもらわなければ納得できるわけが無いでしょう

なに言ってるの? ついに壊れた?
「true → nonzero」 を証明するために、
「nonzero → non true 」 を証明するの?
もうわけ判らないのだが。
「nonzero → non true」 を証明したからといって、
「true → nonzero」 を証明したことにはならないのだが。
しかも、「nonzero → non true」 と 「true → nonzero」 は相反してるし。