充分大

定义

关于充分大，王元说：“充分大是一个界线，大于这个界线的数则为充分大。在数学中，这个界线有时可以算出来，有时算不出来。”

特点

充分大它具有对于给定的命题使用计算机与人力演算（主要指穷举法）所不能解答的特点，它具有限制命题只能用证明的方法所解答的特点。充分大主要用来代替无穷大。一个不是无穷大的充分大具有时效性。

缺点

如果使用一个不是无穷大的充分大来代替原命题的无穷大可能只能得到关于原命题的弱化结论。如果使用一个小一点的、特殊一点的值作为充分大来代替原命题的无穷大可能会与原命题的差距更大。

此外，一个不是无穷大的充分大具有时效性：当命题中的某一个充分大（当然是一个不是无穷大的充分大）区间（或是充分大区间中的一个或多个比较靠充分大的数，或充分大本身）可以被计算机与人力演算（主要指穷举法）不通过证明地被解答，这样这个充分大就没有意义了。