Category:数理論理学的階層

Arithmetical hierarchy

Projective hierarchy

Post's theorem

Grzegorczyk hierarchy

Veblen function

Analytical hierarchy

Borel hierarchy

Slow-growing hierarchy