Su intención era encontrar un algoritmo que determinara la verdad o falsedad de cualquier proposición en el sistema formal.