个等价的表述是：如果formula_1是不同的代数数，那么指数formula_2在代数数范围内是线性独立的。这个定理由林德曼和魏尔斯特拉斯命名。林德曼在1882年证明了对于任何非零的代数数formula_6，formula_7都是超越数，因此推出了圆周率是超越数。魏尔斯特拉斯在1885年证明了一个更一般的结果。这个定理，以及格尔丰德-施奈德定理，可以推广为Schanuel猜想。
"e"和π的超越性."e"和π的超越性是这个定理的直接推论。假设formula_6是一个非零