请帮忙翻译:有一些命题,它们是否成立依赖于A是否是一个集合.