林登鲍姆

林登鲍姆，来 源是Adolf Lindenbaum，类 型是数理逻辑名词。在 数理逻辑中，逻辑理论 T 的 Lindenbaum-Tarski 代数 A 由这个理论的句子 p 的等价类构成，其等价关系 ~ 定义为