Re: Review of Mueckenheims book.

On 23 Feb., 20:35, Virgil <vir...@xxxxxxxxxxx> wrote:
In article <1172220975.123624.192...@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,

mueck...@xxxxxxxxxxxxxxxxx wrote:
On 22 Feb., 19:30, "MoeBlee" <jazzm...@xxxxxxxxxxx> wrote:
On Feb 22, 5:08 am, mueck...@xxxxxxxxxxxxxxxxx wrote:

And if there is a model of ZFC without this identity function, then
this raises the question, whether this identity function is in other
models. Every set theorist believes that the identity mapping of R
exists in current mathematics - perhaps without reason?

In any set theory in which functions can be defined at all, identity
functions are trivially defineable.

But the function from the inductive set to its power set is not always
among them?

Regards, WM

.

Quantcast