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

[benelliott]

I thought I was saying the former, although I’m no longer actually sure.