Ordinal definability–how did Gödel do it? | Dark Hacker News