一般闡釋已經證明具有正確性、可以作為原則或規律的命題或公式，如幾何定理。定理是從真命題（公理或其他已被證明的定理）出發，經過受邏輯限製的演繹推導，證明為正確的結論，即另一個真命題。例如“平行四邊形的對邊相等”就是平面幾何中的一個定理。
一般來說，在數學中，衹有重要或有趣的陳述纔叫定理。證明定理是數學的中心活動。
相信為真但未被證明的數學敘述為猜想，當它被證明為真後便是定理。它是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程，成為定理。
如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理係統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。
在命題邏輯，所有已證明的敘述都稱為定理。
電影[帕索裏尼pierpaolopasolini作品][定理][1968][意大利語/183m/中字]詳細內容描述介紹
imdb得分:7.0/10
(1,266 votes)
imdb鏈接
導 演 皮爾 保羅 帕索裏尼 (pier paolo pasolini)
主 演
西爾瓦娜 曼諾迦 (silvana mangano) ...... lucia, the mother
特倫斯 斯坦普 (terence stamp) ...... the visitor
馬西姆 吉魯提 (massimo girotti) ...... paolo, the father
anne wiazemsky ...... odetta, the daughter
勞拉 貝提 (laura betti) ...... emilia, the servant
andrés josé cruz soublette ...... pietro, the son
奈圖 戴沃裏 (ninetto davoli) ...... messenger
carlo de mejo ...... boy
adele cambria ......
luigi barbini ...... boy at the station
giovanni ivan scratuglia ...... angelino
alfonso gatto ...... doctor
cesare garboli ...... interwiever
蘇珊娜 帕索裏尼 (susanna pasolini) ...... old peasant
類 型 劇情
內容簡介
經由一位天使般的郵差傳遞訊息，一個年輕人到了資本傢的傢中作客，全家不論男女老少都立刻愛上
了他。他成了衆人的執迷偶像、也成了啓發者。他走了之後，為了填補強烈的空虛，全家人忽忽若狂：
主人解放自己、把工廠讓給工人、在火車站脫個精光朝大漠奔去；主人的妻子發現性的美妙，與多位男
工恣意尋歡，最後遁入教堂；主人的女兒失魂落魄；主人的兒子發現藝術的自由，小便在畫布上完成新
作品；女僕則感應了聖靈，懸浮在半空讓人膜拜，並施行神跡。
以包括同性戀與不倫情感的「性」為中心，用一個簡明扼要的荒謬寓言，巴索裏尼描述了基督離開後的
世界，展示了宗教給人世帶來各種層次的矛盾影響，並輕輕一戳就破中産階級體製的神話。大風吹拂荒
漠的景象穿插出現在全片當中，更添加了文明與野性對照的觀點。《沙漠妖姬》的英國演員泰倫斯?史坦
普年輕時的俊秀風采，及多次牢牢盯住他下體（雖然穿著褲子）的鏡頭，則是本片的養眼「刺點」。巴
索裏尼將性與宗教大膽結合的觀點，引起強烈爭議，居然還為他拿下一座天主教國際電影奬。巴索裏尼
聲稱，這位具有神性的訪客「不過是和上帝本身同樣驚世駭俗罷了」！
全片可分為兩則前言、三幕場景、及五段平行敘事，一如片名所示，結構嚴謹如數學邏輯，也暗示無路
可出的終局。直言無贅的敘事手法，與其內含的復雜辯證，本片堪稱現代主義的經典。
獲奬記錄：
電影節 年份奬項
獲奬情況 獲奬人
威尼斯電影節/venice film festival1968金獅奬 / golden lion提名
皮爾·保羅·帕索裏尼
威尼斯電影節/venice film festival1968最佳女演員 / best actress獲奬
勞拉·貝提
定理
【拼音】：ding li
【英義】：1.[Mathematics] [Logic] a theorem
2.an unchanging principle
【定義】：1、通過真命題（公理或其他已被證明的定理）出發，經過受邏輯限製的演繹推導，證明為正確的結論的命題或公式，例如“平行四邊形的對邊相等”就是平面幾何中的一個定理。
2、一般來說，在數學中，衹有重要或有趣的陳述纔叫定理，證明定理是數學的中心活動。相信為真但未被證明的數學敘述為猜想，當它被證明為真後便是定理。它是定理的來源，但並非唯一來源。一個從其他定理引伸出來的數學敘述，可以不經過證明成為猜想的過程，成為定理。
如上所述，定理需要某些邏輯框架，繼而形成一套公理（公理係統）。同時，一個推理的過程，容許從公理中引出新定理和其他之前發現的定理。
在命題邏輯中，所有已證明的敘述都稱為定理。
結構
定理一般都有一個設定——一大堆條件。然後它有結論——一個在條件下成立的數學敘述。通常寫作「若條件，則結論」。用符號邏輯來寫就是條件→結論。而當中的證明不視為定理的成分。
逆定理 若存在某敘述為A→B，其逆敘述就是B→A。逆敘述成立的情況是A←→B，否則通常都是倒果為因，不合常理。若果敘述是定理，其成立的逆敘述就是逆定理。
若某敘述和其逆敘述都為真，條件必要且充足。 若某敘述為真，其逆敘述為假，條件充足。 若某敘述為假，其逆敘述為真，條件必要。
電影：《定理》
[帕索裏尼PierPaoloPasolini作品][定理][1968年][意大利語/183M/中字]詳細內容描述介紹
IMDB得分:7.0/10
(1,266 votes)
IMDB鏈接
導 演 皮爾 保羅 帕索裏尼 (Pier Paolo Pasolini)
主 演
西爾瓦娜 曼諾迦 (Silvana Mangano) ...... Lucia, the mother
特倫斯 斯坦普 (Terence Stamp) ...... The Visitor
馬西姆 吉魯提 (Massimo Girotti) ...... Paolo, the father
Anne Wiazemsky ...... Odetta, the daughter
勞拉 貝提 (Laura Betti) ...... Emilia, the servant
Andrés José Cruz Soublette ...... Pietro, the son
奈圖 戴沃裏 (Ninetto Davoli) ...... Messenger
Carlo De Mejo ...... Boy
Adele Cambria ......
Luigi Barbini ...... Boy at the station
Giovanni Ivan Scratuglia ...... Angelino
Alfonso Gatto ...... Doctor
Cesare Garboli ...... Interwiever
蘇珊娜 帕索裏尼 (Susanna Pasolini) ...... Old Peasant
類 型 劇情
內容簡介
經由一位天使般的郵差傳遞訊息，一個年輕人到了資本傢的傢中作客，全家不論男女老少都立刻愛上了他。他成了衆人癡迷的偶像、也成了啓發者。他走了之後，為了填補強烈的空虛，全家人忽忽若狂：主人解放自己、把工廠讓給工人，在火車站脫個精光朝大漠奔去；主人的妻子發現性的美妙，與多位男工恣意尋歡，最後遁入教堂；主人的女兒失魂落魄；主人的兒子發現藝術的自由，用小便在畫布上完成了新作品；女僕則感應了聖靈，懸浮在半空讓人膜拜，並施行神跡。
以包括同性戀與不倫情感的「性」為中心，用一個簡明扼要的荒謬寓言，巴索裏尼描述了基督離開後的世界，展示了宗教給人世帶來各種層次的矛盾、影響，並輕輕一戳就破中産階級體製的神話。大風吹拂荒漠的景象穿插、出現在全片當中，更添加了文明與野性對照的觀點。《沙漠妖姬》的英國演員泰倫斯·史坦普年輕時的俊秀風采，及多次牢牢盯住他下體（雖然穿着褲子）的鏡頭，則是本片的養眼「刺點」。巴索裏尼將性與宗教大膽結合的觀點，引起強烈爭議，居然還為他拿下一座天主教國際電影奬杯。巴索裏尼聲稱，這位具有神性的訪客「不過是和上帝本身同樣驚世駭俗罷了」！
全片可分為兩則前言、三幕場景及五段平行敘事，一如片名所示，結構嚴謹如數學邏輯，也暗示無路可出的終局。直言無贅的敘事手法，與其內含的復雜辯證，本片堪稱是現代主義的經典。
獲奬記錄：
電影節 年份 奬項 獲奬情況 獲奬人
威尼斯電影節/Venice Film Festival 1968 金獅奬 / Golden Lion 提名 皮爾·保羅·帕索裏尼
威尼斯電影節/Venice Film Festival 1968 最佳女演員 / Best Actress 獲奬 勞拉·貝提
n.: axiom, axioms, proposition, theorem, Bayes' theorem Bayes, formal statement of a theorem or problem, usu containing its proof, theorem (mathematics), (in mathematics) theorem