Proof Systems

Overview

A proof system is a purely syntactic deductive system. Proofs are sequences of WFFs, each of which are derived from previous ones in the sequence. A theorem is then the last WFF in any valid sequence of WFFs.

Syntactic Consequence

TODO