axiom of power set

GPTKB entity

Statements (17)