Beweis

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine endliche, geordnete Folge von Formeln in einem formalen System, wobei jede Formel entweder ein Axiom ist oder sich mittels einer zulässigen Inferenzregel aus vorhergehenden Formeln ableitet, und die Folge mit der zu beweisenden Formel endet.