>>340
>明示的に排除してない時点で真偽決定不可能

これが間違い