| |||||||||
---|---|---|---|---|---|---|---|---|---|
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 (anavbox, 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.