Random triples
| Subject | Object |
|---|---|
| gptkb:Veblen_axioms | Any two distinct lines meet in at least one point. |
| gptkb:Kolmogorov's_axioms | Normalization: P(Ω) = 1, where Ω is the sample space |
| gptkb:Blum_axioms | complexity function is effectively enumerable |
| gptkb:Kolmogorov_axiom | Normalization |