Quiere decir que no puede haber ningún sistema deductivo finito a partir del cual se puedan demostrar todas las verdades lógicas expresables en el lenguaje.