Гёдель теореми (пĕлтерĕшсем)
Гёдель теореми:

 Гёделĕн туллилĕх теореми — математикăлла логикăн никĕсле теоремисенчен пĕри.
 Гёделĕн туллимарлăх теореми — математикăлла логикăн никĕсле теоремисем (ку асăннă йыша икĕ теорема кĕрет).
 Гёделĕн компактлăх теореми

Тĕрлĕ пĕлтерĕшлисем
Нумай пĕлтерĕшлисем