On: Gödel’s first incompleteness theorem – an interactive tutorial

[pvg]

I don't think any of these are true (that this particular argument constitutes or delves into pedantry, what 'natural language' is, etc) but we've probably extracted what pedantifun was to be had already.