第二讲数论中的存在性问题