Re: Implementable Set Theory and Consistency of ZFC

On Oct 12, 1:18 pm, Han.deBru...@xxxxxxxxxxxxxx wrote:

My implementable set theory is the one without
urelements. (Urelements could only be admitted
in my theory if they are naturals or zero.)

If your theory allows natural numbers (other than 0) that are
urelements, then your theory allows urelements; and if your theory has
natural numbers (other than 0) that are urelements then your theory
has urelements.

MoeBlee

.

Quantcast