Metatheorem/Examples
Jump to navigation
Jump to search
Examples of Metatheorems
Completeness Theorem
The Completeness Theorem is an example of a metatheorem of the propositional calculus.
The Completeness Theorem is an example of a metatheorem of the propositional calculus.