>>146
>証明できるかどうかで真偽値を定める
証明できるか否定が証明できるかな
まいいから勉強してな