Random triples
| Subject | Object |
|---|---|
| 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 |
| gptkb:Veblen_axioms | Any two distinct points lie on a unique line. |