 |
sistema formale
| Wikipedia in italiano - l'enciclopedia libera | Download this dictionary |
Sistema formale
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.
| Per saperne di più visita Wikipedia.org... |
© Questo articolo utilizza materiale tratto dell'enciclopedia online Wikipedia® ed è autorizzato sotto la licenza GNU Free Documentation License
