sistema formale
Sign in to saveAlso known as logical calculus
any well-defined system of abstract thought based on the model of mathematics
Wikidata facts
- Subclass of
- conceptual system
Show 3 more facts
- topic's main category
- Category:Formal systems
- different from
- axiomatic system
- has characteristic
- consistency
Sources (2)
via Wikidata · CC0
Article · Italiano
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.
Abstract from DBpedia / Wikipedia · CC BY-SA