我想强调我的主张，目前我不需要列举。
源文件如下：
\usepackage{amsmath, amssymb, amsthm}
\begin{document}
\begin{theorem}
... bla bla bla, not so interesting ...
\end{theorem}
\end{document}
我使用 pdflatex 进行编译，报告的错误是“环境定理未定义”。
您必须知道，我确信其他数学包已经安装（amsmath，amssymb），其次，我的主张没有在最终文件中突出显示。
编辑：
为了突出重点，我希望读者几乎不用阅读就能理解一段文字是定理、命题等等……所以，我想要的是，例如，所有命题都有相同的风格，所有定理都有相同的风格（但与命题的风格不同）。我认为使用这个包既快捷又方便。
答案1
仅加载amsthm是不够的。您需要theorem先声明结构，使用\newtheorem（或未编号结构的带星号的变体），如下所示
\documentclass{article}
\usepackage{amsmath, amssymb, amsthm}
\newtheorem{theorem}{Theorem}
\begin{document}
\begin{theorem}
A test theorem
\end{theorem}
\end{document}
结果：
\newtheorem具有更复杂的语法，带有两个可选（互斥）参数，允许控制计数器；有关详细信息，请参阅包文档。
关于问题的第二部分，您提到要“突出显示”定理，但您没有提到突出显示的具体含义。您是否需要特殊格式，例如背景颜色、框架？如果是，请参阅mdframed或者thmtools或者tcolorbox。每个包的文档都有示例展示如何获得定理的奇特设计，并且在这个站点中有许多使用这些包来生成具有多种装饰的定理类结构的示例：例如，您可以查看