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

[gjm]

You might want to insert “non-empty”, though.

[Stuart_Armstrong]

Done!