集合论
在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。