ペーター・グスタフ・ディリクレは1839年に二次体の類数公式の証明を出版したが、しかし、イデアルのクラスというより、二次形式の言葉で書かれていた。
狄利克雷在1839年证明了第一类数公式，但它是关于二次型的类数而不是理想类的证明。