簡単に言えば、自分が矛盾しないことを自分では証明できないってこと