El primer teorema de la incompletitud de Gödel muestra que muchos sistemas axiomáticos de interés matemático tendrán sentencias indecidibles.