Formaler Beweis

Humanities & Arts Dictionary
Ein formaler Beweis ist eine endliche, geordnete Folge wohlgeformter Formeln in einer angegebenen formalen Sprache und einem Beweissystem, wobei jede Formel entweder eine Prämisse, ein Axiom des Systems oder aus früheren Formeln durch eine Inferenzregel dieses Systems ableitbar ist, und die letzte Formel die abgeleitete Konklusion darstellt.