isFinitelyAxiomatizable
3
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Peano_arithmetic | false |
| gptkb:Robinson_arithmetic | true |
| gptkb:Zermelo–Fraenkel_set_theory_with_choice_(ZFC) | false |