Will_Sawin comments on No one knows what Peano arithmetic doesn't know - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (52)
No. I meant to include a trivial example. I believed that it would help clarify the point.