{{數理邏輯|state=collapsed}}
{{數理邏輯|state=expanded}}
{{數理邏輯|state=autocollapse}}
|state=
autocollapse
Template:邏輯模板