El teorema equivalente establece que para cualquier sistema formal F, existe una proposición matemática que puede ser interpretada significando "Esta proposición no es demostrable en el sistema formal F".