Zbiór X nazywa się amorficzny, jeśli X jest nieskończony i za każdym razem, gdy X = Y ⊔ Z, albo Y, albo Z jest skończony. Twierdzenie. ZF ma modele, w których istnieją zbiory amorficzne.
26,94K