> B, which must in turn be a (possibly equal) subset of A Correction: Gödel has proven that B is a proper subset of A :) so that last "(possibly equal)" should

> B, which must in turn be a (possibly equal) subset of A Correction: Gödel has proven that B is a proper subset of A :) so that last "(possibly equal)" should have been "proper". :P No comments, anybody? I really want to know... :)