Zorn's Lemma, The Well-Ordering Theorem, and Undefinability (Version 2.0)