Теорема Геделя:

Теорема Тарского:

Теорема Поста:

Теорема Клини о неподвижной точке:

Теорема о неподвижной точке гарантирует существование:

Теорема о неподвижной точке называется также теоремой: