中國剩餘定理正兩兩互質模數的同餘系統在模乘積意義下存在唯一解。atlas-chinese-remainder-theorem · canonical_mko中國剩餘定理前置節點整數自然數模同餘最大公因數與互質量詞與明示論域