Douglas_Knight comments on Exponentiation goes wrong first

[Douglas_Knight]

You are using strong theories to reason about Peano arithmetic. If Nelson doubts the consistency of PA, he’s not going to buy your argument.