2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
跳至導覽
跳至搜尋
→6.9 soundness and completeness
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 297： | 行 297： | ||
*若是任何 A |= B 則 A |- B，則具有完備性 completeness，就是任何為真的命題可以證明出來。 | *若是任何 A |= B 則 A |- B，則具有完備性 completeness，就是任何為真的命題可以證明出來。 | ||
*哥德爾證明謂詞邏輯是完備性的（註：自然數的證明就不是了）。 | *哥德爾證明謂詞邏輯是完備性的（註：自然數的證明就不是了）。 | ||
{{ForAllX}} | |||
[[category:邏輯學]] | [[category:邏輯學]] | ||