This post is an excerpt that will be included in my final Master’s thesis, but I decided it is interesting enough to post it on its own.
We will define a few of Peano’s axioms together with a procedure for substitution in equations so that we can prove some theorems using this system.