You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Epictetus comments on Truth is holistic - Less Wrong Discussion

9 Post author: MrMind 23 April 2015 07:26AM

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

Comments (11)

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

Comment author: Epictetus 26 April 2015 05:55:43AM 1 point [-]

Here's what I gather:

You can define the natural numbers using certain rules (the Peano axioms). These rules make reference to sets, so they are in turn governed by the rules of set theory (ZFC), which admit several models.

What the paper goes on to talk about is that even if you just use the natural numbers--not some weird system--then there will still be some statements whose truth depends on the ambient model of set theory. In other words Model 1 and Model 2 of ZFC can both admit the natural numbers, but they can still disagree about what's true. Certain things will always be true, but others will be true or false depending on which model you use.