Computability theory Mathematical logic hierarchies Theorems in the foundations of mathematics Post's theorem