Abstract
From the viewpoint of logic there are two types of knowledge about a specific domain. One is given knowledge, the axiom system, and the other consists of the logical conclusions from the axioms. The logical conclusions 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 conclusion only depends on the axioms.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2010 Birkhäuser Verlag AG
About this chapter
Cite this chapter
Li, W. (2010). Gödel Theorems. In: Mathematical Logic. Progress in Computer Science and Applied Logic (PCS), vol 25. Birkhäuser Basel. https://doi.org/10.1007/978-3-7643-9977-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-7643-9977-1_5
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-9976-4
Online ISBN: 978-3-7643-9977-1
eBook Packages: Computer ScienceComputer Science (R0)