В математике это называется теоремой Гёделя.