一般阐释已经证明具有正确性、可以作为原则或规律的命题或公式，如几何定理。定理是从真命题（公理或其他已被证明的定理）出发，经过受逻辑限制的演绎推导，证明为正确的结论，即另一个真命题。例如“平行四边形的对边相等”就是平面几何中的一个定理。
一般来说，在数学中，只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。
相信为真但未被证明的数学叙述为猜想，当它被证明为真后便是定理。它是定理的来源，但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程，成为定理。
如上所述，定理需要某些逻辑框架，继而形成一套公理（公理系统）。同时，一个推理的过程，容许从公理中引出新定理和其他之前发现的定理。
在命题逻辑，所有已证明的叙述都称为定理。
电影[帕索里尼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