14/11/13 00:05:09.42
あるポピュラーな数学誌の今月号に次のような記述があった。
著者は結構な専門家なのだが一寸したケアレスミスなんだろな？
１．形式体系の重要な性質に健全性と完全性がある。
自然数を含む形式体系は、不完全性定理により、完全ではない。
２．健全性とは証明された定理が必ず正しいことを保証するもので、
矛盾を導かないことである。健全性は、モデルを与えることで
保証できる。
14/11/13 00:05:09.42
あるポピュラーな数学誌の今月号に次のような記述があった。
著者は結構な専門家なのだが一寸したケアレスミスなんだろな？
１．形式体系の重要な性質に健全性と完全性がある。
自然数を含む形式体系は、不完全性定理により、完全ではない。
２．健全性とは証明された定理が必ず正しいことを保証するもので、
矛盾を導かないことである。健全性は、モデルを与えることで
保証できる。