Template:Metalogic

❧

v t e Metalogic and metamathematics
Cantor's theorem Entscheidungsproblem Church–Turing thesis Consistency Effective method Foundations of mathematics of geometry Gödel's completeness theorem Gödel's incompleteness theorems Soundness Completeness Decidability Interpretation Löwenheim–Skolem theorem Metatheorem Satisfiability Independence Type–token distinction Use–mention distinction

Template documentation

This template's initial visibility currently defaults to autocollapse, meaning that if there is another collapsible item on the page (a navbox, sidebar, or table with the collapsible attribute), it is hidden apart from its title bar; if not, it is fully visible.

To change this template's initial visibility, the |state= parameter may be used:

{{Metalogic|state=collapsed}} will show the template collapsed, i.e. hidden apart from its title bar.
{{Metalogic|state=expanded}} will show the template expanded, i.e. fully visible.

v t e Logic templates
Types of logic	Classical logic Mathematical logic Metalogic Non-classical logic Philosophical logic
Other templates	Common logical symbols Logical connectives Logical paradoxes Logical truth Set theory Transformation rules Normal forms Diagrams
Logic navbar

Editors can experiment in this template's sandbox and testcases pages.
Subpages of this template.