I infinitelymore.xyz Ordinal definability–how did Gödel do it? 2 points baruchel 1 month ago 0 comments