Template:Mathematical logic
General | |||||||||
---|---|---|---|---|---|---|---|---|---|
Theorems (list) and paradoxes | |||||||||
Logics |
| ||||||||
Set theory |
| ||||||||
Formal systems (list), language and syntax |
| ||||||||
Proof theory | |||||||||
Model theory | |||||||||
Computability theory | |||||||||
Related | |||||||||

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:
{{Mathematical logic|state=collapsed}}
will show the template collapsed, i.e. hidden apart from its title bar.{{Mathematical logic|state=expanded}}
will show the template expanded, i.e. fully visible.
See also
- {{Set theory}}
Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages.
Subpages of this template.
Subpages of this template.