formal proof
Sign in to saveAlso known as derivation, justification, proof, derivative
establishment of a theorem using inference from the axioms
Wikidata facts
- Subclass of
- reasoning
- Has part
- theorem
- Follows
- conjecture
- Said to be same as
- mathematical proof
Sources (3)
via Wikidata · CC0