axiom of Euclid

GPTKB entity