简单类型论

简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。简单类型论(simple type theory)分支类型论的基础.指在分支类型论中，废除性质的级的划分，而保留类的划分的一种理论。非直谓定义法往往不仅在数学上，而且在日常生活中也是不可缺少的。