ispat edilmeden dogrulugu kabul edilen onermelere ne denir?​