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.

paulfchristiano comments on Second order logic, in first order set-theory: what gives? - Less Wrong Discussion

10 Post author: Stuart_Armstrong 23 February 2012 12:29PM

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

Article Navigation

Comments (19)
Tags: formal system logic formal_system mathematics ste_theory

Comments (19)

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

Comment author: paulfchristiano 25 February 2012 02:14:57AM 2 points [-]

According to ZFC + "ZFC has models."

Powered by Reddit Powered by Reddit