そもそも誰かに他との関係で無矛盾の証明を求められているのか?