What Metatheorems Show
Reading soundness and completeness as claims about the fit between proof and truth
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will definemetatheoremadequacy of a proof systemexpressive power
Assumessoundness theoremcompleteness theoremproof systemsemantic consequencesyntactic consequence
Related
- Lindström's Theoremplanned