知識は永遠の輝き

学問全般について語ります

ゲーデルの定理-1.1- 2種類の定理

2015-10-01 09:40:09 | 数学基礎論/論理学
 かの有名なゲーデルの不完全性定理(自然数の体系を含む理論の不完全性定理)とさほど有名でもないゲーデルの完全性定理(1階述語論理の完全性定理)の話です。 . . . 本文を読む
コメント