0021132人目の素数さん垢版 | 大砲2016/01/06(水) 06:11:15.24ID:YiV6JTeY >>19 「可能無限に制限する必要がある場合」が 公理系が完全か不完全かという問題を論じる場合に限定されるという発想が、 ヒルベルト的思想なんじゃないか、ってことが言いたかったの。