bn:00064724n
Noun Concept
EN
proof
EN
A formal series of statements showing that if one thing is true something else necessarily follows from it WordNet 3.0
Definitions
Relations
Sources
EN
A formal series of statements showing that if one thing is true something else necessarily follows from it WordNet 3.0 & Open English WordNet
A sequence of statements consisting of axioms, assumptions, statements already demonstrated in another proof, and statements that logically follow from previous statements in the sequence, and which concludes with a statement that is the object of the proof. Wiktionary
WordNet 3.0 & Open English WordNet
EN
Wiktionary
EN