林德曼-魏尔斯特拉斯定理（）是一个可以用于证明实数的超越性的定理。它表明，如果formula_1 是代数数，在有理数  内是线性独立的，那么formula_2在  内是代数独立的；也就是说，扩张域formula_3在  内具有超越次数。一个等价的表述是：如果formula_1是不同的代数数，那么指数formula_2在代数数范围内是线性独立的。这个定理由林德曼和魏尔斯特拉斯命名。林德曼在1882年证明了对于任何非零的代数数formula_6，formula_7都是超越数，因此推出了圆周率是超越数。