Ein Schluss der in seiner Beweisführung, das zu Beweisende voraussetzt. Anders formuliert: ein Satz der zu beweisen ist, wird als bewiesen angenommen.