Random triples
| Subject | Object |
|---|---|
| gptkb:Axiom_schema_of_separation | infinite |
| gptkb:ZFC_axioms | 9 (plus one schema) |
| gptkb:Veblen_axioms | 4 |
| gptkb:Kolmogorov_axiom | 3 |
| gptkb:Eilenberg–Steenrod_axioms | six |
| gptkb:Kolmogorov's_axioms | 3 |
| gptkb:axiom_of_ZFC | 9 |
| gptkb:axiom_of_Euclid | five |
| gptkb:Blum_axioms | 2 |
| gptkb:Zermelo–Fraenkel_set_theory_with_Choice_(ZFC) | 9 |
| gptkb:Kolmogorov_axioms | 3 |
| gptkb:Hilbert's_axioms | 21 |
| gptkb:Uncertainty_Reduction_Theory | 7 |