firstAxiom

4 triples
GPTKB property

Random triples
Subject Object
gptkb:Veblen_axioms Any two distinct points lie on a unique line.
gptkb:Kolmogorov's_axioms Non-negativity: For any event A, P(A) ≥ 0
gptkb:Blum_axioms complexity function is total recursive
gptkb:Kolmogorov_axiom Non-negativity