Выразительная функция истины в математическом знании