简单解析哥德尔原理

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

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

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