Zorn's Lemma, The Well-Ordering Theorem, and Undefinability | Nathan Dalaklis