Los logros posteriores de la teoría de la demostración como mínimo "clarificaron" la relación de la consistencia con las teorías de interés principal para los matemáticos.