K．Fine证明S4．3的所有正规扩张都是可有穷公理化的。证明中使用了列表（ list ）方法，其中的关键是Kruskal定理的一个简化版本，Fine使用归......