Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency.
Resultater fra Kurt Gödel, Gerhard Gentzen og andre, gav delvise løsninger til programmet, og klargjorde udfordringerne som indgik i at bevise konsistensen.