Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency.
Резултати Курта Гедела, Герхарда Генцена, и других су дали делимично решење програма и разјаснили битна питања код доказивања конзистентности.