# Category:Formal Systems

Jump to navigation
Jump to search

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 5 subcategories, out of 5 total.

### F

### L

### O

### P

## 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