Peano Arithmetic Explained 📚

The Peano arithmetic is another name for the arithmetic of the natural numbers. This video is intended to be watched after the video on the natural numbers (in the playlist on Set Theory) as it builds on theory introduced there. In this video we prove that the addition law on the natural numbers is associative and commutative. We then move on to prove that the multiplication law is associative, commutative and distributive. All of this is proved using induction.