Ordinal definability–how did Gödel do it?

(infinitelymore.xyz)

2 points | by baruchel 11 hours ago ago