Physics Derivation Graph navigation
Sign in
relation of inference rules to axioms and proofs
Published 2020-08-27T22:01:00.003Z by Physics Derivation Graph
Axioms are a set of statements upon which other statements can be formed.
Lemmas are easy but irrelevant.
Corollaries are quick but irrelevant consequences
Propositions are interesting
Theorems are important and difficult
https://www.quora.com/What-is-the-difference-between-a-lemma-theorem-corollary-and-proposition
http://blogs.scienceforums.net/ajb/2013/01/12/lemma-theorem-proposition-or-corollary/
https://math.stackexchange.com/questions/463362/whats-the-difference-between-theorem-lemma-and-corollary
A proof is about consistency of statements with respect to a set of axioms.
****************
To show the connection can be made, pick the simplest PDG inference rules.
* "add X to both sides"
* "multiply both sides by"