2009-03-22から1日間の記事一覧

「我流でゲーデル解釈」について III

前回と同じ個所です。 ゲーデルの完全性定理 が示したことは、 ◇ どんな命題であっても、前提と論法から導けるか否か (真か偽か) を、必ず示すことができる。 ◇ 前提と論法から正しく導ける命題 (真である命題) は、有限個である。つっこみどころが複数…