>>122
一致するわけないだろ!
君の定義では証明するか否定を証明しない限り真偽値は分からないのに、P→Qも¬(P→Q)も証明不可能な命題ではないか