1. While Gödel's results on incompleteness mooted Hilbert's Program to a great extent, modern researchers find the epsilon calculus to provide alternatives for approaching proofs of systemic consistency as described in the epsilon substitution method.

Alors que les résultats de Gödel sur l'incomplétude rendirent le programme de Hilbert stérile dans une grande mesure, les chercheurs contemporains considèrent que l'epsilon de Hilbert fournit des solutions de rechange pour approcher les preuves de cohérence systémique comme décrit dans la méthode de substitution epsilon.