数学逻辑-倍数判断