祖氏公理

中国古代用以计算体积的一条重要公理。由祖冲之、祖b133８缸犹岢觥＜疵菔萍韧，则积不容异”(形状不同的物体，若其等高处截面积都相等，则它们的体积不能不相等)。西方直至一千多年后才由意大利数学家卡瓦列里提出。

祖氏公理是集合论中的一个公理，也称为无穷公理或无限公理。它断言存在一个无限集合，即存在一个集合，该集合包含无穷多个元素。