I think it would also help if you spelled out “Peano arithmetic” in the title instead of “PA.” After reading the title, I had no idea what this post would be about.
I think it would also help if you spelled out “Peano arithmetic” in the title instead of “PA.” After reading the title, I had no idea what this post would be about.