Formal proof

If you find our videos helpful you can support us by buying something from amazon.

Formal proof

A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference.The last sentence in the sequence is a theorem of a formal system.

-Video is targeted to blind users

Attribution:
Article text available under CC-BY-SA
image source in video