无穷公理 在公理化集合论和使用它的逻辑数学和计算机科学中无穷公理英語Axiom of infinity是策梅洛弗兰克尔集合论的公理之一