Категорія:Метатеореми Основна стаття для цієї категорії: Метатеорема . Підкатегорії Ця категорія має тільки таку підкатегорію. З Теореми засад математики (1 К, 11 С) Сторінки в категорії «Метатеореми» Показано 10 сторінок цієї категорії (із 10). Г Теореми Геделя про неповноту Теорема Геделя про повнотуЕ Теорема ЕрбранаЗ Задача розв'язностіК Теорема про компактністьЛ Теорема Льоба Теорема Льовенгейма — СколемаМ МетатеоремаТ Теорема Курселя Теорема про дедукцію
. 
.