祖氏公理

z中國古代用以計算體積的一條重要公理。由祖沖之、祖b133父子提出。即“冪勢既同，則積不容異”(形狀不同的物體，若其等高處截面積都相等，則它們的體積不能不相等)。西方直至一千多年後才由義大利數學家卡瓦列里提出。