If you try to apply the Peano Axioms on pithy aphorisms, you're gonna have a bad time.
At the expense of the pot calling the kettle black, this comment epitomizes behavior that I don't like to see on HN: the condescending and incorrect use of technical jargon in an internet argument that adds no new insight. In what way whatsoever are the natural numbers relevant to the post, let alone parent comment?
Please rethink signal-boosting off-topic comments in the future.