>>119
完全性定理やカット除去定理の結果だけを自然数概念に依存せずに証明したい。