12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 27, 2024
Jump to navigationJump to search→Axioms: sub <math>=\!=\!=\!=\!=\!=</math> for <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 <math>\overline{\underline{13:56, 6 November 2015 (UTC)~}}\!</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.
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>=\!=\!=\!=\!=\!=</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===
