简单类型论(simple type theory)，所谓类型是这样的变目组合 ：已 给的命题函项 ( 广义的谓词 ) 对这个组合能够有值 ，也就是说，命题函项 根据其作为变目的实体而分成类型。简单类型论的基本点就是把作为变目的实体加以分层。
欢迎使用别助学词语词典！我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富，查询快速，是您提升汉语水平的得力助手。如有任何问题，欢迎联系我们。