内函数定理

内函数定理（internal function theorem）是用可定义性判别函数内性的一个重要定理。内函数定理是用可定义性判别函数内性的一个重要定理。