Teoria formale

Questa voce sugli argomenti teorie dell'informatica e matematica è solo un abbozzo.

Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

Una teoria formale è un metodo per produrre asserzioni in forma matematica e per permettere l'induzione di formule derivate a partire da altre formule considerate primarie. Si tratta di un particolare sistema formale.