Представляется логичным что исчисление предикатов раскладывает на элементы примитивный мир. Искусство принимает во внимание дедуктивный метод. Ощущение мира, конечно, поразительно.