718. 但是,上面的定义根本没有处理所有命题,因为它本质上包含着真正的变项.它完全类似于这样一个运算,它自己的结果也可以被当作它的基础.
16.4.26719. 以这样的方式,而且只有以这样的方式,从一个类型到另一个类型的进展才是可能的.720. 人们可以说,所有的类型都处于等级系统之中.721. 而一个等级系统只有经由借助于运算而进行的构建才是可能的.722. 经验实在的界限是由对象的数目所划定的.这个界限又显示自身于简单命题的总和之中.723. 诸等级系统独立于,而且必然独立于,实在.它们的诸项的所指只有通过诸对象与诸名称的配合才得到确定.16.4.27724. 假定我要表现一个具有3个彼此不可互换的主目的函项