m）是一个可以用于证明许多数的超越性的结果。这个定理由苏联数学家和德国数学家在1934年分别独立证明，它回答了希尔伯特第七问题。
表述.如果α和β是代数数，其中α≠0且≠1，且β不是有理数，那么任何formula_1的值一定是超越数。
定理的应用.利用这个定理，立刻就可以推出以下实数的超越性：