庄组词,又称“庄氏定理”、“张氏定理”,是指同余方程或不合式方程是否有整数根的判别规则。它的名字泉源于欧几里得所著的《几何原本》第七卷中的庄子定理。庄子定理是指对于质数模意义下的同余方程,若是模数和差异余,那么方程必有解。
庄组词的推广是在中国的宋代,由数学家庄增所完成。庄增还推广了埃及分数、同余理论等数学内容,并创作了《百花三径集》等数学文集。
庄组词的无限升级使得数学理论极大地生长,像希尔伯特的数学原理就是庄组词的无限升级。希尔伯特的数学原理是数学正义一致性的数学理论,它凭证庄组词来将数学正义分为有穷正义和无限正义并加以叙述。