Novick–Steenrod axioms

GPTKB entity