Axiom of power set
id:
axiom-of-power-set-306-11598533
title:
Axiom of power set
text:
In mathematics, the axiom of power set is one of the Zermelo–Fraenkel axioms of axiomatic set theory. It guarantees for every set x the existence of a set P , the power set of x , consisting precisely of the subsets of x . By the axiom of extensionality, the set P is unique. The axiom of power set appears in most axiomatizations of set theory. It is generally considered uncontroversial, although constructive set theory prefers a weaker version to resolve concerns about predicativity.
brand slug:
wiki
category slug:
encyclopedia
description:
Concept in axiomatic set theory
original url:
https://en.wikipedia.org/wiki/Axiom_of_power_set
date created:
date modified:
2024-03-22T21:31:34Z
main entity:
{"identifier":"Q1077811","url":"https://www.wikidata.org/entity/Q1077811"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/e/ea/Hasse_diagram_of_powerset_of_3.svg","width":429,"height":325}
fields total:
13
integrity:
15