lukeprog comments on Completeness, incompleteness, and what it all means: first versus second order logic