Random triples
| Subject | Object |
|---|---|
| gptkb:Peano_axioms | 0 is not the successor of any natural number |
| gptkb:Kolmogorov_axioms | Additivity: For any countable sequence of mutually exclusive events A1, A2, ..., P(∪Ai) = ΣP(Ai) |
| gptkb:Peano_postulates | 0 is not the successor of any natural number |