输入需要查询的词语：
词条：祖氏公理
zǔ shì gōng lǐ
中国古代用以计算体积的一条重要公理。由祖冲之、祖暅父子提出。即“幂势既同，则积不容异”(形状不同的物体，若其等高处截面积都相等，则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。