V matematike ide o tvrdenie, ktoré má význam pre dôkaz ďalších už odvodených viet alebo axióm systému a ktorého môže byť poprípade použitý pre dôkaz ďalších tvrdení.