数学逻辑-公约数计算