この場合、「証明が間違っている」という主張より
「言明は偽である」という主張の方が
正確で、よい情報である。