Glimm–Jaffe axioms

GPTKB entity