rwallace comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic

[rwallace]

Yes, I think so too.