Template:Mathematical logic

{{documentation|content= {{collapsible option}}