User:Karoshbn/Books/LOGIC VI - Metalogic

Metalogic

 * 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