>>6
「真であるとも偽であるとも証明できない」というのが正しくない?
意味論的には真偽は定まっているはず