証明が正しいかどうか判定するのは決定可能だが