So8res comments on Mental Context for Model Theory - LessWrong

49 Post author: So8res 30 October 2013 06:35AM

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

Comments (45)

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

Comment author: So8res 31 October 2013 03:48:53AM 3 points [-]

Mostly just that he avoided using it as long as possible. At least one other person feels that could be indicative of reluctance to include the axiom. I agree that this is a bit weak, so beyond that I'll hide behind artistic license.