axiom of dependent choice

GPTKB entity

Statements (19)