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

[[deleted]]

This may be the first time I’ve upvoted a mathematics-related post on LW.