无穷公理
在公理化集合論和使用它的邏輯、數學和計算機科學中，無窮公理（英語：Axiom of infinity）是策梅洛 - 弗蘭克爾集合論的公理之一。