Ordinal definability–how did Gödel do it?infinitelymore.xyz2 points·baruchel··0 commentsOpen articleSaveView on HN