This is a set category. It should only contain pages that are Formal theories or lists of Formal theories, as well as subcategories containing those things (themselves set categories). Topics about Formal theories in general should be placed in relevant topic categories. |