空集公理 在集合论中空集公理是 ZermeloFraenkel 集合论的公理之一