that perfect number searching algorithm. Or in other word, your 绝对真理 is either incomplete or it is inconsistence. In fact, your so call 绝对真理 is a theory. A theory, in the mathematical logic, is defined in model theory, as a set of formal statement which is closed under modus ponens. The statements in set are all true, either as axiom, or can be reached from axioms through modus ponens. And as we know, theory of number is incomplete, as being proved by Godel.