Gödel Theorems

Part of the Progress in Computer Science and Applied Logic book series (PCS, volume 25)


From the viewpoint of logic there are two types of knowledge about a specific domain. One is the given knowledge, the axiom system, and the other consists of the logical consequences that can be derived from the axioms. The logical consequences are propositions deduced from the axioms by using inference rules, which are independent of the domain. Therefore, the question whether a given proposition is a logical consequence only depends on the axioms.


Point Equation Axiom System Proposition Variable Axiomatic Approach Proof Tree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel 2014

Authors and Affiliations

  1. 1.School of Computer Science and EngineeringBeihang University State Key Lab. SoftwareBeijingChina

Personalised recommendations