Category:数理論理学的階層

Slow-growing hierarchy

Veblen function

Projective hierarchy

Post's theorem

Grzegorczyk hierarchy

Analytical hierarchy

Borel hierarchy

Arithmetical hierarchy