capybaralet 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: capybaralet 22 September 2015 03:05:17PM 1 point [-]

You should say "replace THEM", in that case, to refer to the infinite set of axioms, as opposed to Peano Arithmetic.

Comment author: Stuart_Armstrong 23 September 2015 01:37:37PM 0 points [-]

Corrected