Este último punto es ilustrado por los teoremas de incompletitud de Gödel, que afirman que un sistema formal de ciertos sistemas matemáticos con un conjunto de axiomas que satisface determinada propiedad formal (ser un recursivamente enumerables) admitirá un modelo en el que algunas proposiciones serán ciertas pero no serán deducibles.