latex中如何设置定理定义环境的编号 & newtheorem的用法

出现Environment example undefined. 等错误，我们应该怎么办？

我们在使用definition环境、theorem环境、lemma环境、example环境等诸多数学环境之前，需要调用宏包amsthm，这个宏包是专门用来设置定理类环境，其次我们还需要给出它们的编号定义。

\newtheorem命令可以用来定义定理之类的环境，其语法如下：
{环境名}[编号延续]{显示名}[编号层次]
例1. 下面代码定义了四个环境：定义、定理、引理和推论，它们都在一个section内统一编号，而引理和推论会延续定理的编号

\newtheorem{definition}{定义}[subsection] % 跟随三级标题排序
\newtheorem{theorem}{定理}[section]  %跟随二级标题排序
\newtheorem{lemma}[theorem]{引理}
\newtheorem{corollary}[theorem]{推论}

下面给出写学术型论文常用的定理类环境的定义：

%===================  定理类环境定义 ===================
\newtheorem{example}{例}              % 整体编号
\newtheorem{algorithm}{算法}
\newtheorem{theorem}{定理}[section]            % 按 section 编号
\newtheorem{definition}[theorem]{定义}
\newtheorem{axiom}[theorem]{公理}
\newtheorem{property}[theorem]{性质}
\newtheorem{proposition}[theorem]{命题}
\newtheorem{lemma}[theorem]{引理}
\newtheorem{corollary}[theorem]{推论}
\newtheorem{remark}[theorem]{注解}
\newtheorem{condition}[theorem]{条件}
\newtheorem{conclusion}[theorem]{结论}
\newtheorem{assumption}[theorem]{假设}