The completeness theorem of Gödel |
| |
Authors: | S M Srivastava |
| |
Institution: | (1) Slat-Math Unit, Indian Statistical Institute, 203 B T Road, 700 035 Calcutta, India |
| |
Abstract: | In Part 11 of the article, we introduced the basic notions and techniques of mathematical logic. In this part, we present the completeness theorem of first order logic proved first by Gödel in 1929. We give a sketch of the proof due to Henkin. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|