2012-06-05から1日間の記事一覧

p→∀v(p)

logic

最近ゲーデルの不完全性定理の証明に登場する形式的体系で遊んでます。数学ガールゲーデル編を読んで以来、からが導けるという推論規則がなんであるのか、を公理とするのではだめなのか気になっていました。その疑問が解決しました。任意の論理式について…