formal proof
Sign in to saveAlso known as derivation, justification, proof, derivative
establishment of a theorem using inference from the axioms
Also known as derivation, justification, proof, derivative
establishment of a theorem using inference from the axioms