有穷性是指算法必须在有限步骤内完成任务，否则无法保证代码的正确性和执行性。