可以缩写为GEN，而推理规则可以被总结为相继式但是这引起了一个重要的限制：不能应用演绎定理（DT）于它而推导出但这是不正确的。比如，如果 P(x) 意味着 ""x" 是素数" 而域是自然数集合，则明显不是真的，因为从它和"7 是素数"，可以通过肯定前件推出"所有自然数都是素数"，这是个矛盾，所以反证法得出这个公式是错的。这个限制适用于证明：如果 GEN 在一个证明中应用于一个公式，从而约束了它的自由变量 "x"，则 DT 不能应用于这个证明中把这个公式移动到十字转门的右侧。注意 "P(x)