何の証明もできないことを主張
何の証明もできないことを否定