Explore relationships

Formal proof

In logic and mathematics, a formal proof or derivation is a finite sequence of sentences (known as well-formed formulas when relating to formal language), each of which is an axiom, is an assumption, or follows from the preceding sentences in the sequence, according to the rule of inference.

Use + to expand a branch. Click a topic name to open its summary.