12,089
edits
Changes
→Axioms: now here's a neat trick : <math>\overline{\underline{~~~~~~}}</math>
|}
|}
All of the axioms in this set have the form of equations. This means that all of the inference steps that they allow are reversible. The proof annotation scheme employed below makes use of a double bar "=====" to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.
All of the axioms in this set have the form of equations. This means that all of the inference steps that they allow are reversible. The proof annotation scheme employed below makes use of a double bar <math>\overline{\underline{~~~~~~}}</math> to mark this fact, although it will often be left to the reader to decide which of the two possible directions is the one required for applying the indicated axiom.
===Frequently used theorems===
===Frequently used theorems===