Kolmogorov axiom

GPTKB entity