Turing reduction
article-link
What links here
Pairing function
Constructive analysis
article-link
Arithmetical hierarchy
article-link
Hilbert's paradox of the Grand Hotel
article-link
Primitive recursive function
article-link
Georg Cantor
article-link
First-order logic
article-link