本当は原文を確認してからじゃないと話にならんのだけど、
大学の時分は図書館で簡単に複写取る事が出来たけど
今はアクセスがないからなあ……

でもこのくらいの話題で数学セミナー買ってくる気もしないし
前月号の特集は買ったけどね

>>91
言いたいことは大体分かるが、そもそもその健全性とか完全性って
特定の自然数論の理論 T ごとの性質じゃないと思うんだけど。

>不完全性定理に「真」を使ったら間違いと習ったけど。
そんなことないよ。
ただ、真偽への言及を最小限にしたのがゲーデルの証明。
もっときちんと理解しないと。