Go backward to Proof Tree Go up to Top Go forward to

Proof Completion

Proposition: For proving with knowledge K union {G} the goal G, nothing has to be done any more.

K union {G}

G

~~>

K union {G}

The only rule to terminate a proof branch.