Definition:Consistent Proof System/Also defined as
Jump to navigation
Jump to search
Consistent Proof System: Also defined as
Consistency is obviously necessary for soundness in the context of a given semantics.
Therefore it is not surprising that some authors obfuscate the boundaries between a consistent proof system (in itself) and a sound proof system (in reference to the semantics under discussion).
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): consistent: 2.
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): consistent: 2.