数学逻辑-二元一次不定方程求解