![缩进定理主体(不包括标题)](https://linux22.com/image/479113/%E7%BC%A9%E8%BF%9B%E5%AE%9A%E7%90%86%E4%B8%BB%E4%BD%93%EF%BC%88%E4%B8%8D%E5%8C%85%E6%8B%AC%E6%A0%87%E9%A2%98%EF%BC%89.png)
答案1
很简单,使用etoolbox
:
\documentclass[ngerman]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{babel}
\usepackage{amsthm, amssymb}%
\usepackage{etoolbox}
\usepackage{lipsum}
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}
\BeforeBeginEnvironment{lemma}{\par\hangindent=2.5em}
\AfterEndEnvironment{lemma}{\par}
\begin{document}
\setcounter{lemma}{2}
\lipsum[2]
\begin{lemma}
Sei $\mathcal{M}_{μ}$ die Familie der $\mu$-meßbaren Teilmengen von $X$. Dann ist $\mathcal{M}_{μ}$ eine $\sigma$-Algebra über $X$, und $\mu$ eingeschränkt auf $\mathcal{M}_{μ}$ ist ein (positives) Maß auf $\mathcal{M}_{μ}$.
\end{lemma}
\lipsum[3]
\end{document}