• 数学原理II的目的是作为一个简单和方便的工具，能够首先了谓的逻辑和显示主要特点和功能希尔伯特二。 数学原理II提出的逻辑基础，这个项目。 它的工作与(原型)QEDEQ模块文件位于任何地方在互联网上。 议定书的http和ftp的使用，还有当地文件可以规定。 后输入一个网址的一个QEDEQ模块地方文件的缓冲区进行搜索。 如果所请求的QEDEQ文件找不到了下载的文件中指定通过该网址是开始和结果保存在本地的文件的缓冲区。 之后QEDEQ模块的装载和检查的正式的正确性。 如果其他QEDEQ模块所引用这些也是加载。 不，直到所有必要的QEDEQ模块已成功地装载，并检查了最初指定的QEDEQ模块得到它的"绿色的正确性点"。 在错误的情况下一个详细的问题给出说明和有问题的立场，在相应的模块所示。

    数学原理II提出的逻辑基础，这个项目。 它的工作与(原型)QEDEQ模块文件位于任何地方在互联网上。

    议定书的http和ftp的使用，还有当地文件可以规定。 后输入一个网址的一个QEDEQ模块地方文件的缓冲区进行搜索。

    如果所请求的QEDEQ文件找不到了下载的文件中指定通过该网址是开始和结果保存在本地的文件的缓冲区。

    之后QEDEQ模块的装载和检查的正式的正确性。 如果其他QEDEQ模块所引用这些也是加载。

  • Principia Mathematica द्वितीय बनाया गया है के रूप में एक सरल और आसान उपयोगिता के लिए सक्षम है कि विधेय पहले के आदेश तर्क से पता चलता है और मुख्य सुविधाओं और कार्यक्षमता के हिल्बर्ट II. Principia Mathematica द्वितीय प्रस्तुत तर्क की नींव इस परियोजना. यह काम करता है के साथ (प्रोटोटाइप) QEDEQ मॉड्यूल स्थित फ़ाइलों में कहीं भी इंटरनेट । प्रोटोकॉल http और ftp के लिए उपयोग किया जाता है, यह भी स्थानीय फ़ाइलों को निर्दिष्ट किया जा सकता है । के बाद इनपुट के लिए एक यूआरएल की एक QEDEQ मॉड्यूल स्थानीय फ़ाइल बफर खोज की है. यदि अनुरोध QEDEQ फ़ाइल को नहीं मिला था, के लिए एक डाउनलोड फ़ाइल के द्वारा निर्दिष्ट URL शुरू कर दिया है, और परिणाम में सहेजा जाता है स्थानीय फाइल बफर. बाद में QEDEQ मॉड्यूल भरी हुई है और के लिए जाँच की औपचारिक शुद्धता. यदि अन्य QEDEQ मॉड्यूल हैं संदर्भित ये भी भरी हुई हैं. नहीं जब तक सभी आवश्यक QEDEQ मॉड्यूल थे सफलतापूर्वक भरी हुई है और जाँच की है, मूल रूप से निर्दिष्ट QEDEQ मॉड्यूल हो जाता है, यह "हरे रंग की शुद्धता" । एक त्रुटि के मामले में एक विस्तृत समस्या विवरण दिया जाता है और समस्याग्रस्त स्थिति में इसी मॉड्यूल में दिखाया गया है ।

    Principia Mathematica द्वितीय प्रस्तुत तर्क की नींव इस परियोजना. यह काम करता है के साथ (प्रोटोटाइप) QEDEQ मॉड्यूल स्थित फ़ाइलों में कहीं भी इंटरनेट ।

    प्रोटोकॉल http और ftp के लिए उपयोग किया जाता है, यह भी स्थानीय फ़ाइलों को निर्दिष्ट किया जा सकता है । के बाद इनपुट के लिए एक यूआरएल की एक QEDEQ मॉड्यूल स्थानीय फ़ाइल बफर खोज की है.

    यदि अनुरोध QEDEQ फ़ाइल को नहीं मिला था, के लिए एक डाउनलोड फ़ाइल के द्वारा निर्दिष्ट URL शुरू कर दिया है, और परिणाम में सहेजा जाता है स्थानीय फाइल बफर.

    बाद में QEDEQ मॉड्यूल भरी हुई है और के लिए जाँच की औपचारिक शुद्धता. यदि अन्य QEDEQ मॉड्यूल हैं संदर्भित ये भी भरी हुई हैं.

  • Principia Mathematica II is designed as a simple and handy utility that is capable of first order predicate logic and shows the main features and functionality of Hilbert II. Principia Mathematica II presents the logic foundation of this project. It works with (prototype) QEDEQ module files located anywhere in the internet. The protocols http and ftp are used, also local files can be specified. After the input of an URL of a QEDEQ module the local file buffer is searched. If the requested QEDEQ file was not found, a download of the file specified by the URL is started and the result is saved in the local file buffer. Afterwards the QEDEQ module is loaded and checked for formal correctness. If other QEDEQ modules are referenced these are also loaded. Not until all necessary QEDEQ modules were successfully loaded and checked the originally specified QEDEQ module gets it's "green correctness point". In case of an error a detailed problem description is given and the problematic position in the corresponding module is shown.

    Principia Mathematica II presents the logic foundation of this project. It works with (prototype) QEDEQ module files located anywhere in the internet.

    The protocols http and ftp are used, also local files can be specified. After the input of an URL of a QEDEQ module the local file buffer is searched.

    If the requested QEDEQ file was not found, a download of the file specified by the URL is started and the result is saved in the local file buffer.

    Afterwards the QEDEQ module is loaded and checked for formal correctness. If other QEDEQ modules are referenced these are also loaded.