Sistema formale

Questa voce o sezione sugli argomenti logica e matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In logica matematica, la nozione di sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione. In altri termini, la nozione di sistema formale corrisponde ad una formalizzazione rigorosa e completa della nozione di sistema assiomatico.