傳遞原理

在非標準分析中，傳遞原理是以下直觀想法的技術形式：“對於給定的超結構 ，透過傳遞到的非標準擴充套件 可證明的任何事物，也可以在不這樣做的情況下證明，反之亦然。” 它是 Łoś 定理和一階謂詞邏輯完備性定理的結果。

傳遞原理表述如下。設 為一個超結構，設 為 的一個擴充套件，設 為語言 中的任意語句，設 表示 的 -變換。則 當且僅當 。