断定作为公理。他以语义方式证明了它们，并以语法上的演绎证明了其他重言式断定。弗雷格在第二章中历数了被形式化的命题；成为了他的公理的是第1, 2, 8, 28, 31, 41, 52, 54, 58个命题。他在这章中还声明了两个推理规则：它们是肯定前件；和代换律。在第一章中他宣布了一个约定，即“普遍化律”。这意味着如果“自由变量”能在一个断定中找到，则把它当作全称量化的，依据弗雷格的定律，在formula_12标号（“断定符号”）之后的，被固定的（fixed）变量是断定，而不是“开放”的公式，也就是