充分大

充分大的準確定義是，關於給定的命題所給出的條件來説已經足夠大的數，它包括無限和任何滿足條件的非無限。對於不同的命題，它的具體的值可以不同。

充分大它具有對於給定的命題使用計算機與人力演算（主要指窮舉法）所不能解答的特點，它具有限制命題只能用證明的方法所解答的特點。充分大主要用來代替無窮大。 一個不是無窮大的充分大具有時效性。

如果使用一個不是無窮大的充分大來代替原命題的無窮大可能只能得到關於原命題的弱化結論。如果使用一個小一點的的值作為充分大來代替原命題的無窮大可以縮小和原命題的差距。