В практическом прикладном аспекте с помощью определения понятий могут быть определены новые прикладные понятия, определены новые типы данных (включая и семантические рекурсивные типы) как в алгоритмических, так и в информационных языках, что особенно актуально для новых областей информатики; примерами таких областей информатики являются: математическая экономика (именно как математическая экономика, а не применение математики в экономике), аналогично матфизика (а не применение математики в физике), технологии использования блокчейнов и криптовалют в финансовой сфере, BIG DATA в базах данных и многие другие области мышления. Так, к примеру, теория понятий предлагает формальное определение понятия отношения транзакции для матэкономики.
Семантические понятия могут представлять решения различных семантических проблем. Определениями могут определяться и представляться не только различные предметы, но и даже новые действия. И вообще определениями в теории понятий определяются любые сущности, имеющие определения. Неопределённые сущности в предлагаемой теории понятий не рассматриваются и не используются. Множество понятий бесконечно. Работать с бесконечными понятиями можно по технологии сходящихся последовательностей Коши. Сходящийся рекурсивный тип данных решает многие математические проблемы. Сходящаяся последовательность имеет, определяет определённый предел (по определению сходящейся последовательности). Теория понятий пользуется сходящимися рекурсивными определениями.
Существенным элементом теории понятий является алгебра понятий. Ибо даже в матлогике преобразование понятий иногда подменяется подменой понятий. Так, к примеру, некоторые учёные математики на том основании, что зависимости сущностей представимы формулами, считают, что формулы определяют зависимости реальных предметов созерцания. (В математической логике формальных определений новых понятий не имеется.) В отличие от математики, неизменная аксиоматика которой создаётся единожды и на вечные времена, в теории понятий теории могут развиваться. К сожалению, в классической математике не имеется реального времени. Поэтому, в частности, в этой математике не допустимы сходящиеся во времени рекурсивные определения. Использование не сходящихся диалектических, рекурсивных определений исключено (поскольку они циклят). Теория понятий работает в реальном времени. Утверждение «сегодня 13 января 2020 года» будет в предлагаемой теории понятий истинным, когда это 13 января наступит. Истинность утверждения «сегодня пятница» в теории понятий увеличивается по мере её приближения. Аристотель отдыхает.