Como tal, es el hogar de los teoremas de incompletitud de Gödel que (informalmente) implican que cualquier sistema formal efectivo que contiene aritmética básica, si es sólido (lo que significa que todos los teoremas que se pueden probar son ciertos), es necesariamente incompleto (lo que significa que hay teoremas verdaderos que no se pueden probar en ese sistema).