Одна из важных задач теории интеллекта - обоснование физическими методами эвристического утверждения о том, что множество мыслей человека представляет собой некую алгебраическую систему. В работе изучено строение этой алгебраической системы и ее свойства, разработан ее формальный язык, предложены методы описания мыслей в виде формул этого языка.