传递原理

在非标准分析中，传递原理是以下直观想法的技术形式：“对于给定的超结构 ，通过传递到的非标准扩展 可证明的任何事物，也可以在不这样做的情况下证明，反之亦然。” 它是 Łoś 定理和一阶谓词逻辑完备性定理的结果。

传递原理表述如下。设 为一个超结构，设 为 的一个扩展，设 为语言 中的任意语句，设 表示 的 -变换。则 当且仅当 。