定理(英语:Theorem)是經過受邏輯限制个證明為真个陈述。一般性末,勒數學裏向,只有重要或有勁个陳述才叫定理。證明定理是數學个中心活動。一个定理陈述一个畀定类个所有(全称)元素一种弗变个关系,迭排元素可以是无穷多,佢拉勒拉任何时刻才无区别个成立,而呒没一个例外。(譬如:某些 a 是 x ,某些 a 是 y ,就弗好算是定理)。
猜想是相信為真但未畀證明个數學敘述,或者叫做命题,當佢經過證明後便是定理。猜想是定理个來源,但並非唯一來源。一個從其他定理引伸出來个數學敘述可以弗經過成為猜想个過程,成為定理。
如上所話,定理需要某些邏輯框架,繼而形成一套公理(公理系統)。同時,一個推理个過程,容許從公理中引出新定理搭仔其他之前發現个定理。
勒拉命題邏輯裏向頭,所有已證明个敘述侪稱為定理。
This article uses material from the Wikipedia 吴语 article 定理, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). 除非另外声明,内容用CC BY-SA 4.0授权。 Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki 吴语 (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.