例えば、証明ができなく(不可能・可能だが技術的に無理の両方の意)とも
我々にとって自明でかつ真であるとして使用している事柄もかなりある。