「過程」というのは「論理の流れ」くらいの意味合いで書いた

完全性定理で存在が保障されている形式的証明の実態は分からない
その形式的証明は、我々が普段、単に「証明」と呼んでいる非形式的概念にあてはまるのか？という神経質な問いかけをしている
>>568の文脈で我々が本当に欲しいものは、きちんと定式化された形式的証明ではなく、非形式的な「証明」なのだから
そこが極大イデアルの存在証明との違い