Ordinal definability–how did Gödel do it?

(infinitelymore.xyz) by baruchel | Sep 20, 2026 | 0 comments on HN