[myownpetard]

> Within the context of a system with certain algebraic properties.

This downplays the importance of the set of systems for which his proof holds and makes it sound like it applies to some obscure branch of mathematics.

It applies to a huge set of important systems, not least of which is any system that is sufficiently expressive as to uniquely identify the natural numbers.