Se puede parafrasear el primer teorema diciendo "nunca se podrá encontrar un sistema axiomático que sea capaz de demostrar "todas" las verdades matemáticas y ninguna falsedad".