数学中很多定理，尤其是存在性定理往往不是能行的，如虽然已经证明了某某方程有根，但却无法求出其根，甚至无法求得比较精确的近似值。对很多数学家尤其是采用直觉主义或构造主义观点的数学家说来，欠缺能行性的定理是不能接受的。然而对于所谓能行性，长期以来都未有精确的定义，以致于很难对之作深入的探讨。数理逻辑、数学和计算机理论科学所研究的一个重要课题。数学中很多定理，尤其是存在性定理往往不是能行的，如虽然已经证明了某某方程有根，但却无法求出其根，甚至无法求得比较精确的近似值。对很多数学家尤其是采用直觉主义或构造主义观点的数学家说来，欠缺能行性的定理是不能接受的。然而对于所谓"能行性"，长期以来都未有精确的定义，以致于很难对之作深入的探讨。