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