Без заголовка

В ТК мы стараемся действовать без элементов (и соответственно, без кванторов). В частности, в конце моей статьи указано, как описать без кванторов cardinality constraints. Это очень большой бонус для онтологии (как философской системы). Например, в теории элементарных частиц нет понятия "состоит из". Нельзя сказать, что фотон "состоит из" электрона и позитрона, хотя есть процесс аннигиляции. Если онтология использует язык ТК, то она сможет обсуждать такие процессы без существенной потери точности.