Expressivity Barrier

A formal limit within a given logical language or fragment beyond which additional semantic distinctions or properties cannot be expressed without altering the language (adding quantifiers, predicates, or higher-order features) or incurring additional computational complexity.