Independence results Theorems in the foundations of mathematics
Paris–Harrington theorem
Independence results
Independence results Mathematical logic stubs Theorems in the foundations of mathematics
Kanamori–McAloon theorem
Independence results Mengenlehre Theorems in the foundations of mathematics
Goodstein's theorem