数学原理II 0.00.53_Principia Mathematica II 0.00.53下载地址

谓词逻辑工具建立在Java

数学原理II被设计成一个简单而方便的工具，是能够一阶谓词逻辑和希尔伯特II的主要特点和功能。

数学原理II介绍了该项目的逻辑基础。它的工作原理（原型）QEDEQ模块文件在互联网上的神器出山:www.shenqi73.com任何位置。

的协议HTTP和FTP的使用，也可以指定本地文件。后输入一个URL一个QEDEQ模块的本地文件缓冲器被搜索。

如果没有被发现，所要求的QEDEQ文件的下载指定的文件的URL开始，结果将保存在本地文件缓冲。

事后QEDEQ模块被加载和检查正式正确性。如果的其他QEDEQ模块中引用这些也被加载。

直到所有必要的QEDEQ模块被成功加载，并检查了最初指定的QEDEQ模块得到它的“绿色正确性”。在一个错误的情况下，问题的详细说明，并给出问题的位置显示在相应的模块。