「完全証明」ってのは基礎論的な概念なのか？
基礎論ヲタの人教えて。