Mathematical logic Mathematical logic stubs Theorems in the foundations of mathematics
Lindström's theorem
Mathematical logic stubs
Independence results Mathematical logic stubs Theorems in the foundations of mathematics
Kanamori–McAloon theorem
Logic stubs Mathematical logic Mathematical logic stubs
Extension by new constant and function names