名詞

完全性

読

カンゼンセイ

韻

あんえんえい

数理論理学には完全性と呼ばれる関連するが異なる二つの概念がある。意味論的完全性形式論理体系が「恒真である命題が必ず証明できる」という性質を持つこと構文論的完全性形式論理体系における理論が「（その理論で用いている言語で表現可能な）どの命題についても、肯定または否定を証明できる」という性質を持つこと (出典: 完全性 - Wikipedia)

追加ワード数

11/30
11個のワードが追加されました。 11/29
307個のワードが追加されました。 11/28
232個のワードが追加されました。 11/27
322個のワードが追加されました。 11/26
317個のワードが追加されました。

お知らせ

2024/05/24 20:19
文章解析の結果の取得方法を変更しました。 2024/05/23 16:38
品詞の種類を追加しました 2024/05/22 10:00
検索中の表示を更新しました 2024/05/22 00:00
サイトの公開を開始しました