Dangers of taking formal logic for granted

TODO:

• Axiomatic theories
• propositional logic and predicate logic
• non classical logics
• notation
• It is often enough to be certain that a result in a theory can be expressed as a collection of formal proofs