[deleted] comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic

[[deleted]]

Whoops, you’re right. I assumed +1/​10 meant +1/​10th from +1. I had the whole thing backwards.