Why is ? Shouldn't it be ?
Last edited by mr fantastic; September 29th 2011 at 11:31 PM.
Reason: Fixed latex.
Follow Math Help Forum on Facebook and Google+
Originally Posted by Jskid Why is ? Shouldn't it be ? It can be either depending on whether .
Originally Posted by Jskid Why is ? is NOT a theorem. Who said it is? Originally Posted by Jskid Shouldn't it be ? As emakarov alluded if and only if
First page of section 2.2 in Discrete Mathematics for Logic and Foundations.
are you sure about the name of the book. amazon doesn't come up with any book with that name
Originally Posted by Jskid First page of section 2.2 in Discrete Mathematics for Logic and Foundations. Then, if you're quoting the book correctly, taking you to mean that the book claims it's a theorem of ordinary set theory, then the book is in clear error.
View Tag Cloud