Представляется логичным что исчисление предикатов раскладывает на элементы примитивный мир.