完全性定理
#Fleeting_Notes
完全性定理(completeness theorem)
正しいことは証明できる
完全性
⊨
$ \vDash A \implies \vdash A
健全性定理
確認用
Q. 完全性定理
関連
モデル理論
証明論
参考
『形式手法入門』
P31
『2007年度 情報数学 証明論入門』
調査用
Google.icon
完全性定理(日)
Google.icon
Completeness theorem(英)
Wikipedia.icon
完全性定理 - Wikipedia(日)
完全性定理(検索) - Wikipedia(日)
Wikipedia.icon
Completeness theorem - Wikipedia(英)
Completeness theorem(検索) - Wikipedia(英)