Это называется "теорема Гёделя о неполноте" :-) (-)