**The Truth about Truth**

**MW: **A little while back, I noted something delicious about the history of mathematical logic:

- Gödel’s two most famous results are the
*completeness*theorem and the*incompleteness*theorem. - Tarski’s two most famous results are the
*undefinability of truth*and the*definition of truth*.