Limitative Barrier

A fundamental restriction inherent to sufficiently expressive formal systems that prevents achieving certain goals — such as complete self-description, absolute decidability for all well-formed statements, or uniform definability of truth — regardless of engineering effort within that system.