Incompleteness

Pourquoi le deuxième théorème d’incomplétude de Gödel sape-t-il le programme de Hilbert ?

existe-t-il des modèles d’arithmétique non standard dans l’arithmétique du second ordre ?