Structural proof theories

Redirect to:

From the plural form: This is a redirect from a plural noun to its singular form.
- This redirect link is used for convenience; it is often preferable to add the plural directly after the link (for example, [[link]]s). However, do not replace these redirected links with a simpler link unless the page is updated for another reason (see WP:NOTBROKEN).
- Use this rcat to tag only mainspace redirects; when plural forms are found in other namespaces, use {{R from modification}} instead.