>>324
だから
「真がzeroじゃ無い」時、「zeroは真とは限らない」があるって言うんだろ
つまり、「真がzeroじゃ無い」時、「zeroは真では無い」場合があるんだろ?
じゃあ、「真がzeroじゃ無い」時、「zeroは真では無い」場合を証明してもらわないと
「真がzeroじゃ無い」時、「zeroは真とは限らない」は成立しないだろう