13/10/16 21:02:10.72
みなさんレスどうもです。
>>285
おっしゃっていることは全部クリアです
>>284,286
与えられた記号列についての判定ができることはクリアです
>>287
その「定理集合」の存在証明が欲しいです
>>288,289
おっしゃっていることは全部クリアです
与えられた記号列が論理式になっているかや、与えられた証明が本当に証明になっているか、
の判定が機械的にできる点は理解しているつもりです。
問題は「無矛盾」もそのようにクリアに理解できるか、ですね。