D devlinsangle.blogspot.com How multiplication is defined in Peano arithmetic 32 points nill0 1 year ago 10 comments
