《寻隐者不遇》(贾岛)中的“只在此山中,云深不知处”与“存在性定理”有异曲同工之妙。