林登鮑姆引理 在數理邏輯中林登鮑姆引理得名於阿道夫林登鮑姆英语Adolf Lindenbaum聲稱一階邏輯的任意一致理論都能被拓展成完備英语Complete theory的一致理論 此引理是邏輯代數中超濾子引理的特殊狀況適用於一個理論的林登鮑姆代數