祖氏公理

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