定理(Theorem)引理(Lemma)推论(Corollary)

区分定理(Theorem)、引理(Lemma)、推论(Corollary)Theorem:就是定理，比較重要的，簡寫是Thm。Lemma:小小的定理，通常是為了證明後面的定理，如果證明的篇幅很長時，可能會把證明拆成幾個部分來敘述，雖然篇幅可能變多，但脈絡卻很清楚。Corollary:推論。由定理立即可推知的結果。Property:性質，結果雖然值得一記，卻沒定理來的深刻。Proposition:有人翻譯為「命題」，有些作者喜歡用，大概也可以算是比較簡單的定理的一種稱呼。Claim:證明時先敘述一個結果，再作證明。看的人比較輕鬆。Note:通常只是一個註解。Remark:涉及一些結論，比較起來"Note"比較像說明，"remark"則常是非正式的定理。首先、定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论能够被人的理性所接受。其次、定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些，定理主要是描述各定义(范畴)间的逻辑关系，命题一般描述的是某种对应关系(非范畴性的)。而推论就是某一定理的附属品，是该定理的简单应用。最后、引理就是在证明某一定理时所必须用到的其它定理。而在一般情况下，就像前面所提到的定理的证明是依赖于定义和公理的。引理和定理应该是根据文章目的不同而区分的，同样的论点在这篇文章可以是引理，在那篇文章可以是定理。如果为了说明一个问题进行论证，但是在论证前需要证明若干个小问题，那么这些若干个小问题的结论就是引理，而这个问题的论证将会需要引用到前面的引理，该问题的结论就是定理。引理是为定理作准备的。文章中的定理才是需要说明的主要问题或者目的。就如doppler说的，"Theorem"本身是一个大result"Lemma"是prove“Theorem“之前用的一个result"Corollary"是可以从"Theorem"里直接deduce/prove出来的result"Proposition"是一个还无法大到变成"Theorem"的一个result(当作小theorem)Definition(定义)apreciseandunambiguousdescriptionofthemeaningofamathematicalterm.Itcharacterizesthemeaningofabygivingallthepropertiesandonlythosepropertiesthatmustbetrue.Theorem(定理)——amathematicalstatementthatisprovedusingrigorousmathemat-icalreasoning.Inamathematicalpaper,thetermtheoremisoftenreservedforthemostimportantresults.Lemma(弓|理)——aminorresultwhosesolepurposeistohelpinprovingatheorem.Itisasteppingstoneonthepathtoprovingatheorem.Veryoccasionallylemmascantakeonalifeoftheirown(Zorn'slemma,Urysohn'slemma,Burnside'slemma,Sperner'slemma).Corollary(推论)aresultinwhichthe(usuallyshort)proofreliesheavilyonagiventheorem(weoftensaythatthisisacorollaryofTheoremA").Proposition(命题)aprovedandofteninterestingresult,butgenerallylessimportantthanatheorem.Conjecture(推测，猜想)astatementthatisunproved,butisbelievedtobetrue(Collatzconjecture,Goldbachconjecture,twinprimeconjecture).Claim(断言)anassertionthatisthenproved.Itisoftenusedlikeaninformallemma.Axiom/Postulate(公理/假定)astatementthatisassumedtobetruewithoutproof.Thesearethebasicbuildingblocksfromwhichalltheoremsareproved(Eu-clid'svepostulates,Zermelo-Frankelaxioms,Peanoaxioms).Identity(恒等式)amathematicalexpressiongivingtheequalityoftwo(oftenvariable)quantities(trigonometricidentities,Euler'sidentity).Paradox(悖论)——astatementthatcanbeshown,usingagivensetofaxiomsanddenitions,tobebothtrueandfalse.Paradoxesareoftenusedtoshowtheinconsistenciesinaawedtheory(Russell'sparadox).Thetermparadoxisoftenusedinformallytodescribeasurprisingorcounterintuitiveresultthatfollowsfromagivensetofrules(Banach-Tarskiparadox,Alabamaparadox,Gabriel'shorn).