Reverse Mathematics
Perfect Set
Quantifier (Logic)
Ur Element
Finite Set
Cantor’s Legacy: Infinity And Diagonalization Great Theoretical Ideas In Computer Science Steven RudichCS 15-251 Spring 2004 Lecture 25Apr 13, 2004Carnegie.