Een verzameling X wordt amorf genoemd als X oneindig is en telkens wanneer X = Y ⊔ Z, is ofwel Y ofwel Z eindig. Stelling. ZF heeft modellen waarin er amorfe verzamelingen zijn.
26,94K