# Category:Formal systems

From HandWiki

Revision as of 09:59, 16 January 2021 by imported>WikiGary (change)

Here is a list of articles in the Formal systems category of the Computing portal that unifies foundations of mathematics and computations using computers.

Wikimedia Commons has media related to .Formal systems |

## Subcategories

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

### L

### M

### R

### S

## Pages in category "Formal systems"

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

- Formal system
*(computing)* - List of formal systems
*(computing)*

### A

- Axiom
*(computing)* - Axiom schema
*(computing)* - Axiomatic system
*(computing)*

### F

- First principle
*(computing)* - Formal ethics
*(computing)* - Formal proof
*(computing)*

### P

- Physical symbol system
*(computing)* - Proof (truth)
*(computing)*

### R

- Rule of inference
*(computing)*