Ordinal definability–how did Gödel do it?

2 pointsposted 9 hours ago
by baruchel

No comments yet