数学推理相关的几个名词及LaTeX用法

1 几个名词概念

Theorem：就是定理，比较重要的，简写是Thm

Lemma：小小的定理，通常是为了证明后面的定理，如果证明的篇幅很长时，可能会把证明拆成几个部分来叙述，虽然篇幅可能变多，但脉络却很清楚

Corollary：推论由定理立即可推知的结果

Property：性质，结果虽然值得一记，却没定理来的深刻

Proposition：有人翻译为命题，有些作者喜欢用，大概也可以算是比较简单的定理的一种称呼

Claim：证明时先叙述一个结果，再作证明看的人比较轻松

Note：通常只是一个批注

Remark：涉及一些结论，比较起来”Note”比较像说明，”remark”则常是非正式的定理

首先定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论能够被人的理性所接受

其次定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些，定理主要是描述各定义（范畴）间的逻辑关系，命题一般描述的是某种对应关系（非范畴性的）而推论就是某一定理的附属品，是该定理的简单应用

最后引理就是在证明某一定理时所必须用到的其它定理而在一般情况下，就像前面所提到的定理的证明是依赖于定义和公理的

引理和定理应该是根据文章目的不同而区分的，同样的论点在这篇文章可以是引理，在那篇文章可以是定理
如果为了说明一个问题进行论证，但是在论证前需要证明若干个小问题，那么这些若干个小问题的结论就是引理，而这个问题的论证将会需要引用到前面的引理，该问题的结论就是定理
引理是为定理作准备的文章中的定理才是需要说明的主要问题或者目的

就如doppler说的，

”Theorem” 本身是一个大result ”Lemma”是proveTheorem之前用的一个result ”Corollary” 是可以从”Theorem”里直接deduce/prove出来的result ”Proposition”是一个还无法大到变成”Theorem”的一个result (当作小theorem)

Definition（定义）——a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.
Theorem（定理）——a mathematical statement that is proved using rigorous mathemat-ical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.
Lemma（引理）——a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma,Sperner’s lemma).
Corollary（推论）——a result in which the (usually short) proof relies heavily on a given theorem (we often say that this is a corollary of Theorem A”).
Proposition（命题）——a proved and often interesting result, but generally less important than a theorem.
Conjecture（推测，猜想）——a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture).
Claim（断言）——an assertion that is then proved. It is often used like an informal lemma.
Axiom/Postulate—— （公理/假定）a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved (Eu-clid’s ve postulates, Zermelo-Frankel axioms, Peano axioms).
Identity（恒等式）——a mathematical expression giving the equality of two (often variable) quantities (trigonometric identities, Euler’s identity).
Paradox（悖论）——a statement that can be shown, using a given set of axioms and de nitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a awed theory (Russell’s paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules (Banach-Tarski paradox, Alabama paradox, Gabriel’s horn).

2 LaTeX用法

\documentclass[11pt]{ctexart}
\usepackage{amsthm}
\usepackage{mathtools}
\newtheoremstyle{mythm}{1.5ex plus 1ex minus .2ex}{1.5ex plus 1ex minus .2ex}{}{\parindent}{\bfseries}{}{1em}{} %定义定理样式，样式名称之后的两个长 度分别表示定理与上、下文之间的距离，这里均设为弹性距离。{}用于设置字体，这里设置为空。\parindent是设置定理首行的缩进。
\theoremstyle{mythm} %采用定理样式mythm
\newtheorem{mythm}{定理~}
\newtheorem{mylem}{引理~}
\newtheorem{myprop}{命题~}
\newtheorem{mycor}{推论~}
\newtheorem{mydefn}{定义~}
\newtheorem{myconj}{猜想~}
\newtheorem{myexmp}{例~}
\newtheorem{myrem}{注~}
\begin{document}
\begin{mythm}这是定理
\end{mythm}
\begin{mylem}这是引理
\end{mylem}
\begin{myprop}这是命题
\end{myprop}
\begin{mycor}这是推论
\end{mycor}
\begin{mydefn}这是定义
\end{mydefn}
\begin{myconj}这是猜想
\end{myconj}
\begin{myexmp}这是例子
\end{myexmp}
\begin{myrem}这是注
\end{myrem}
\begin{proof}这是证明
\end{proof}
\end{document}

定理1这是定理

引理1这是引理

命题1这是命题

推论1这是推论

定义1这是定义

猜想1这是猜想

例1这是例子

注1这是注

Proof. 这是证明 _

Latex之定理及编号（ZZ）
http://wzhc.123.blog.163.com/blog/static/106818372201032722847735/
用 LaTeX 写漂亮学位论文(from wloo)
http://blog.sina.com.cn/s/blog_9eff3a390101chb9.html
我用amstools，它不但可以定义其他环境，还自定义了一个proof环境。
阐述了数学的几个概念
http://mirrors.ibiblio.org/CTAN/macros/latex/contrib/ntheorem/ntheorem.pdf