子和无线电波），则被视为理论上的概念。这样看来，理论行使了公理的职责：从理论得出预测结果，就像从欧几里得几何得出定理。然而，预言需要通过现实来检测试以验证理论，而其直接结果可能是“公理”被修正。“”这个短语被用来描述这种方法。通常与它相关的术语是“语言学”（因为理论是语言的组成部分）和“语法学”（因为语言拥有一套规则，来规定可以如何把符号串在一起）。问题在于精确地定义这种语言，例如，物体是在显微镜下观察到的还是它们只是理论上的对象，导致了逻辑实证主义在1970年代的实际消亡。
作