如果某一问题存在算法,并且进一步构造出这个算法,就一定能够求出该问题的解。
出自:国家开放大学《数学思想与方法》