Lecture 11 (Logic) Proofs with Axioms of Arithmetic and Dividing by 0