《哥德尔证明》读后感

《哥德尔证明》这本书主要讲述了哥德尔证明希尔伯特的问题的思想。这本书简单介绍了元数学，用符号和数字来用最基础的元数学算式来证明元数学命题，这些算式并没有实际意义，它们代表的只是算式，对算式进行一系列操作最终完成命题证明。哥德尔最终证明力数学系统都存在不一致性。