Technical Reasoning/Formalization

Formalization
In this section we generalize from the observations from the previous section. What we "observed" was


 * A scientific argument.
 * A philosophical argument.
 * Two mathematical proofs.
 * The proof of correctness of a computer program.