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

[[deleted]]

I think 733 is counting axioms, definitions, and theorems all.

[benelliott]

That would explain it.