尔代码的特殊情况。他在简短的篇幅中覆盖了大量的基础内容，如符号、罗素悖论，重言式、矛盾和真值函数的概念。他还覆盖了在语言、科学、信仰和归纳法之间的联系的问题。命题5.2522表达了一种归纳形式，这里的"a"是一个谓词，"O' a"是在"a"上的一个运算，等等；在下面的命题6中使用了这个表示法，并用以指示"a"的所有可能的真值函数。
命题6.*.从命题6开始，维特根斯坦假定了所有句子的基本形式。这个陈述不像第一眼看起来那样神秘，部分的由于维特根斯坦的特异的记号：formula_