Re: size_question

I should think that the hereditarily finite sets do not depend all that much on the background setting. After all, there are not very many of them and they are quite concrete. Can they really be hugely different depending on whether we work in ZF, ZFC, IZF, CZF etc?

If we are not working classically subsets of finite sets need not be finite but the sets in V_\omega are closed under subsets. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]