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

45 Post author: Stuart_Armstrong 16 January 2012 05:38PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (38)

Sort By: Best

You are viewing a single comment's thread. Show more comments above.

Comment author: Stuart_Armstrong 07 September 2015 03:18:45PM 0 points [-]

"Every set of numbers has a least element" - along with the other, non-inductive axioms of Peano arithmetic.

Comment author: gjm 09 September 2015 12:20:17PM 2 points [-]

You might want to insert "non-empty", though.

Comment author: Stuart_Armstrong 09 September 2015 12:43:09PM 1 point [-]

Done!