谢谢介绍。数学和形式逻辑体系的发展，可能有此书所探讨的内容以外的一些因素。