Abstract algebra
Large cardinals
Mathematics
Exponentiation
Hilbert series and Hilbert polynomial
Mahlo cardinal