無窮公理

在公理化集合論和使用它的邏輯 、 數學和計算機科學中 ， 無窮公理  是策梅洛 - 弗蘭克爾集合論的公理之一 。