Ordinal definability–how did Gödel do it?

1 points | by baruchel an hour ago

No comments yet