命题的一般形式会显示语言的界限，因为它会确立一种系统的方法来生成每一个可能的命题，而无法这样生成的东西会由此被表明为胡话
这一纲领可分为三个阶段
第 Ⅰ 阶段， 发现命题的本性
第 Ⅱ 阶段，给定了命题的本性之后，表明必定存在命题的一般形式
第 Ⅲ 阶段，具体说明那种一般形式