ノート:ヒルベルト・プログラム
竹内の基本予想の説明の改善を提案します
[編集]「高階論理の証明の正規化によって証明される」という表現は誤読を誘発する恐れがあるので、次のように表現するのが適切でしょう： 「高階論理の証明が常に正規化可能であることを証明することによって証明される」 125.194.62.224 2021年5月7日 (金) 18:20 (UTC)
「高階論理」とあるのは、「高階述語論理」の誤りでした。訂正します。 125.194.62.224 2021年5月7日 (金) 18:23 (UTC)