wuthefwasthat comments on Second order logic, in first order set-theory: what gives? - 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 (19)
I don't think that's true. You may not believe that the set of functions is unique (in which case the notion of sets in bijection is no longer unique).