 | The Wikimedia Foundation's book rendering service has been withdrawn. Please upload your Wikipedia book to one of the external rendering services. |
 | You can still create and edit a book design using the Book Creator and upload it to an external rendering service:
|
| This user book is a user-generated collection of Wikipedia articles that can be easily saved, rendered electronically, and ordered as a printed book. If you are the creator of this book and need help, see Help:Books (general tips) and WikiProject Wikipedia-Books (questions and assistance). Edit this book: Book Creator · Wikitext Order a printed copy from: PediaPress [ About ] [ Advanced ] [ FAQ ] [ Feedback ] [ Help ] [ WikiProject ] [ Recent Changes ] | ||||||||
LOGIC VI
editMetalogic
edit- Metalogic
- Metamathematics
- Foundations of mathematics
- Richard's paradox
- Cantor's theorem
- Entscheidungsproblem
- Church–Turing thesis
- Consistency
- Effective method
- Foundations of geometry
- Gödel's completeness theorem
- Gödel's incompleteness theorems
- Soundness
- Completeness (logic)
- Decidability (logic)
- Interpretation (logic)
- Löwenheim–Skolem theorem
- Metatheorem
- Satisfiability
- Independence (mathematical logic)
- Type–token distinction
- Use–mention distinction
- Metalanguage
- Object language
- Syntax (logic)
- Formal semantics (logic)
- Tarski's undefinability theorem