ext_8821 ([identity profile] lederhosen.livejournal.com) wrote in [personal profile] lederhosen 2007-09-18 07:58 am (UTC)

Basically, because a lot of mathematical proofs involve phrases like "Let X be the set of all things with property Y", and contain a tacit assumption that the "set of all things with property Y" is in fact a legitimate set that obeys the standard rules of set theory (which the proofs then go on to invoke).

If you start with "let X be the set containing all sets that do not contain themselves", and accept that such a set exists, you can prove anything, and while that particular phrasing might make the pitfall obvious, it's not as obvious what other rules might lead to paradox.

Post a comment in response:

If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org