本文综述了二维典型系统谱理论中某个主题的经典结果和最新进展。具体而言，我们研究了谱$\sigma$是否离散的问题，如果离散，其密度如何。这里我们通过计数函数的增长率在可积性或相对于合适比较函数的$\limsup$条件的意义上来衡量密度。这些问题已经存在多年，但完整的答案仅在最近才获得——部分结果尚未正式发表。我们必须明确区分测量特征值密度的方式与谱渐近性之间的不同，后者关注的是特征值的渐近展开。我们明确且故意不涉及这一方向，也不介绍任何关于谱渐近性的结果。我们认为这篇综述的重点在于围绕最初提出的问题展示相关结果，而不是对该领域直接或间接相关的文献进行全面总结。文中不包含任何证明，但我们会评论一些证明方法。我们所呈现的定理非常多样化，依赖于算子理论、复分析和经典分析的不同方法，并巧妙地展示了这些领域的相互作用。除了解决该问题的基本定理以及若干精选补充外，我们还决定加入一些专门针对Jacobi矩阵（即Hamburger矩量问题）谱理论的结果。典型系统与矩量问题之间的联系带来了重要的新见解，但似乎不如与其他连接（如Krein-Feller或Schrödinger算子）那样广为人知。我们整理了通用理论的所有必要前提，力求使阐述尽可能自洽。我们的目标是让这篇综述能够被广泛的读者群体阅读并欣赏，包括非专业读者。

In this survey paper we review classical results and recent progress about a certain topic in the spectral theory of two-dimensional canonical systems. Namely, we consider the questions whether the spectrum $\sigma$ is discrete, and if it is, what is its density. Here we measure density by the growth of the counting function of $\sigma$ in the sense of integrability or $\limsup$-conditions relative to suitable comparison functions. These questions have been around for many years. However, full answers have been obtained only very recently -- in partly still unpublished work. The way we measure density of eigenvalues must be clearly distinguished from spectral asymptotics, where one asks for an asymptotic expansion of eigenvalues. We explicitly and on purpose do not go into this direction and do not present any results about spectral asymptotics. We understand this survey as a focussed presentation of results revolving around the initially stated questions, and not as an exhaustive account on the literature which is in the one or other way related to the area. It does not contain any proofs, but we do comment on proof methods. The theorems we present are very diverse. They rely on different methods from operator theory, complex analysis, and classical analysis, and beautifully invoke the interplay between these areas. Besides the fundamental theorems solving the problem and several selected additions, we decided to include a number of results devoted to the spectral theory of Jacobi matrices, in other words, to the Hamburger moment problem. The connection between the theories of canonical systems and moment problems gives rise to important new insights, yet seems to be less widely known than other connections, e.g., with Krein-Feller or Schr\"odinger operators. We compile all necessary prerequisites from the general theory to make the exposition as self-contained as possible. It is our aim that this survey can be read and enjoyed by a broad community, including non-specialist readers.