Kurt Gödel introduced ordinal definability in 1946 with key insights, yet modern understanding relies on the Lévy-Montague reflection theorem from 1960. This essay explores how Gödel achieved his results before these foundational theorems were established.