数学逻辑-因数判定方法