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

[[deleted]]

I think that Nelson denies that there is a completed infinity of predicates that you can plug into the schema.

[Sniffnoy]

Well, you’d certainly only need finitely many to prove inconsistency.