# Category:Proof Systems

Jump to navigation
Jump to search

This category contains results about **Proof Systems**.

Definitions specific to this category can be found in Definitions/Proof Systems.

A **proof system** $\mathscr P$ for $\LL$ comprises:

**Axioms**and/or**axiom schemata**;**Rules of inference**for deriving theorems.

It is usual that a **proof system** does this by declaring certain arguments concerning $\LL$ to be valid.

Informally, a **proof system** amounts to a precise account of what constitutes a **(formal) proof**.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

## Pages in category "Proof Systems"

The following 5 pages are in this category, out of 5 total.