Barrera Limitativa

Una restricción fundamental inherente a sistemas formales suficientemente expresivos que impide alcanzar ciertos objetivos —como la auto-descripción completa, la decidibilidad absoluta de todas las declaraciones bien formadas o la definibilidad uniforme de la verdad— independientemente del esfuerzo de ingeniería dentro de ese sistema.