[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.