我有一个小数学学位项目，遇到了一个小问题。我想要嵌套的定理/定义级别，例如在下面的代码中，它应该生成定义 2.1 到 2.5，然后生成 2.5.1 作为子定义。下面是我的 tex 文件中经过编辑的部分，为简洁起见；没有更改任何重要内容。
\section{Affine Systems} %section 2 of the document
\newtheorem{afnSpace}{Definition}[section]
%Several Definitions which would be numbered sequentially, no issue with these, formatted the same as the line below
\newtheorem{frameDef}[afnSpace]{Definition} %Actually 5th definition
\newtheorem{frameDef s1}{Definition}[frameDef]
\begin{afnSpace} Definition 2.1 content here \end{afnSpace}
%Ommitted several definition environments that work fine
\begin{frameDef} Definition 2.5 content here \end{frameDef}
\begin{frameDef s1} Definition 2.5.1 content here \end{frameDef s1}
这里的问题是，在我的通过 texLive 运行的 Ubuntu 机器上，虽然出现了关于未定义计数器的警告错误，但可以正确编译；然而我的主管无法使用 MikTex 进行编译。
我知道解决方案是更明确地创建计数器，因为我认为我的定义不会创建自己的计数器，但我不知道如何纠正这个问题。这是我用 LaTeX 创建的第一份文档，我不太清楚它的计数器系统是如何工作的。
非常感激任何的帮助，
问候，杰克。
答案1
该代码可以通过 MiKTeX 顺利编译：
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\newtheorem{afnSpace}{Definition}[section]
\newtheorem{frameDef}[afnSpace]{Definition} %Actually 5th definition
\newtheorem{frameDef s1}{Definition}[afnSpace]
\begin{document}
\setcounter{section}{1}
\section{Affine Systems} %section 2 of the document
%Several Definitions which would be numbered sequentially, no issue with these, formatted the same as the line below
\begin{afnSpace} Definition 2.1 content here \end{afnSpace}
%Omitted several definition environments that work fine
\setcounter{afnSpace}{4}
\begin{frameDef} Definition 2.5 content here \end{frameDef}
\begin{frameDef s1} Definition 2.5.1 content here \end{frameDef s1}
\end{document}
