Overview
A deductive system found in certain formal systems. Proof systems are syntactic in nature. Proofs are sequences of WFFs, each of which are entailed from previous ones in the sequence. A theorem is then the last WFF in any valid sequence of WFFs.
Bibliography
- “Formal System,” in Wikipedia, May 10, 2024, https://en.wikipedia.org/w/index.php?title=Formal_system.