Barrière Limitative

Une restriction fondamentale inhérente aux systèmes formels suffisamment expressifs qui empêche d'atteindre certains objectifs — comme l'auto-description complète, la décidabilité absolue de toutes les propositions bien formées ou la définissabilité uniforme de la vérité — indépendamment de l'effort d'ingénierie dans ce système.