David Scott Krueger (formerly: capybaralet) comments on Completeness, incompleteness, and what it all means: first versus second order logic

[David Scott Krueger (formerly: capybaralet)]

You should say “replace THEM”, in that case, to refer to the infinite set of axioms, as opposed to Peano Arithmetic.

[Stuart_Armstrong]

Corrected