简单解析哥德尔原理

来源:百度知道 编辑:UC知道 时间:2024/06/16 02:34:26
请用中文简单解析哥德尔原理的主要思想(不要用数学公式).

哥德尔原理的主要思想是否定了希尔伯特的形式主义理想。上世纪初,以希尔伯特为代表的形式主义派,希望能通过形式逻辑的方法,构造一个有关数论(自然数)的有限的公理集合,推出所有数论原理且无矛盾,并以此出发构造整个形式主义的数学体系。而哥德尔定理粉碎了这一设想。哥德尔定理实际上表明,这样的公理系统要么不完备,要么有矛盾。

存在一些命题,该命题没有办法证明其真,也没有办法证明其伪.