Sistema formale
Da Wikipedia, l'enciclopedia encyclopedia
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.
Questa voce o sezione sugli argomenti logica e matematica non cita le fonti necessarie o quelle presenti sono insufficienti.