数学逻辑-整除判定