Một tập hợp X được gọi là vô định hình nếu X là vô hạn và bất cứ khi nào X = Y ⊔ Z, thì hoặc Y hoặc Z là hữu hạn. Định lý. ZF có các mô hình trong đó có các tập hợp vô định hình.