| dbo:description
|
- sequenza finita di proposizioni, ognuna delle quali è un assioma, un'ipotesi o segue dalle proposizioni precedenti per una regola di inferenza (it)
- establishment of a theorem using inference from the axioms (en)
- الإثبات والاستدلال (ar)
- séquence finie de propositions dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes (fr)
- předvedení platnosti nějaké věty odvozením z axiomů (cs)
|
