（以下文字摘录自波普尔《科学发现的逻辑》。）

科学理论是全称陈述。

自然科学的理论，特别是所谓自然定律，具有严格全称陈述的逻辑形式；因此它们可以被表达成严格存在陈述的否定形式，或者可以称作非存在陈述（或“无”陈述）。例如，能量守恒定律可以表达为这样的形式“不存在永动机”，基本电荷的假说可以表达为这样的形式：“除了基本电荷的倍数以外，不存在任何电荷”。

自然定律可以和“排斥”或“禁止”相比拟。它们并不断言什么东西存在着或具有某种状态；而是否定它。它们坚持一定的事物或状态的不存在，可以说是排斥或禁止这些事物或状态：自然定律排除它们。正因如此，它们是可证伪的。

在一个理论系统或公理系统必须满足的各种要求中间，无矛盾性要求起着特殊的作用。它可被看作每一个理论系统，不论它是经验的还是非经验的，都要满足的第一个要求。在无矛盾性以外，经验系统必然满足进一步的条件：它必须是可证伪的，这两个条件在很大程度上是类似的。

如果我们要求用推理的论证在逻辑的意义上去证明［科学陈述］，那么我们就得接受这样的看法：陈述只能为陈述所证明。因而，要求所有的陈述都要被合乎逻辑地证明（Fries称作“对证明的偏爱”）一定会导致无穷后退。

理论是或多或少可以严格地检验的；这就是说，或多或少可以容易地证伪的。它们的可检验性的程度对于理论的选择是有意义的。“它们禁止越多，它们说得越多”。