axiom2

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Peano_axioms every natural number has a unique successor
gptkb:Peano_postulates Every natural number has a unique successor
gptkb:Kolmogorov_axioms Normalization: P(S) = 1, where S is the sample space