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

[Jack]

We’d have to know what a proof of friendliness looks like to answer this.