# Category:Formal Systems

This category contains results about Formal Systems.

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

A **formal system** is a formal language $\mathcal L$ together with a deductive apparatus for $\mathcal L$.

## Subcategories

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

### F

### L

### O

## Pages in category "Formal Systems"

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

### E

### H

- Hilbert Proof System Instance 2 Independence Results
- Hilbert Proof System Instance 2 Independence Results/Independence of A1
- Hilbert Proof System Instance 2 Independence Results/Independence of A2
- Hilbert Proof System Instance 2 Independence Results/Independence of A3
- Hilbert Proof System Instance 2 Independence Results/Independence of A4
- Hilbert Proof System Instance 2 is Consistent