Lecture 2022-02-10. The language of number theory, and the Peano axioms for it. The last axiom: the principle of mathematical induction. Different forms of it. Using induction for establishing…

Building a circuit for adding two 64-bit values. Tautologies. A formal system for proving theorem. The completeness and soundness theorems for sentential logic. Adding quantifier: first-order…