0130132人目の素数さん
2020/02/14(金) 16:40:22.33ID:ekmNRCqQそれはあってるとも間違ってるとも。
数理論理学で完全性、不完全性といったらゲーデルの定義したそれだと思うけど、その場合
Lが完全⇔Lの任意のモデルで真であるものは証明可能。
Lが不完全⇔Lの命題でそれ自身もその否定も証明できないものが存在する。
の事を指す事が多いけど、その場合"不完全"が"完全でない"の事を意味してない。
例えば自然数論は上の意味で"完全"(1階述語論理は完全)かつ"不完全"(不完全性定理)。
しかしそのサイトは"不完全でない"事を"完全"と言ってるみたい。
間違いではないんだろうけど、どうなんだろ?