Clase de proposiciones matemáticas que no pueden ser probadas o Negadas

En la lógica formal se entiende por proposición a toda expresión de la cual se puede decir sin ambigüedad si es verdadera o falsa. Gödel demostró que existen proposiciones de las cuales se conoce un número finito de casos ciertos (como sucedía con el teorema de Fermat) pero no puede hacerse una demostración general de que son ciertas o falsas.