Topology on the set of maximal consistent propositional theories and the Cantor ternary set

• 命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集