[VirusNewbie]

> From that comes arithmetic, the “most elementary” form of mathematics which cannot be proved consistent…

This is kind of wrong. Are you familiar with Godel's thoughts on this?

[uoaei]

...are you?

[VirusNewbie]

Very much so.

[uoaei]

So lording esoteric knowledge over the anonymous rabble is more productive than just explaining what is the issue?

[VirusNewbie]

ok fair enough. There is no issue with proving arithmetic consistency on a finite number of symbols. Incompleteness entirely relies on the unbounded induction step.