How multiplication is really defined in Peano arithmetic
devlinsangle.blogspot.com
A familiar joke in mathematical logic (the field I worked in for the first twenty years of my career) is the following hypothetical entry in...