پیشنیازها گوییک واختهها استواره لونهایم همچنین شناخته شده با: حامل صدق برابر انگلیک (انگلیسی): truth bearer truth-bearer تاربرگهای پیمودهشده در این نشست: Nuel Belnap ⟩ Ernst Friedrich Ferdinand Zermelo ⟩ Gödel's completeness theorem ⟩ Monotonicity of entailment ⟩ Gödel's second incompleteness theorem ⟩ Löwenheim Theorem