Metatheorem/Examples/Completeness Theorem
Jump to navigation
Jump to search
Example of Metatheorem
The Completeness Theorem is an example of a metatheorem of the propositional calculus.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): metatheorem
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): metatheorem