Definition
Proof
A proof of
from assumptions in a calculus is a finite derivation establishing using its axioms and inference rules. Any undischarged assumptions must belong to . With no assumptions, write
.
Proof
A proof of
from assumptions in a calculus is a finite derivation establishing using its axioms and inference rules. Any undischarged assumptions must belong to . With no assumptions, write
.