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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search