托马斯公理相关论文