例えば選択公理はZFで証明も反証もできないが、IUTのように「間違ってすらいない」と評されることは無いだろう