Disambiguation evidence for Peano arithmetic via surface form
"first-order Peano arithmetic"
Triples (1)
Triples where some other subject referred to this entity
as "first-order Peano arithmetic".
Disambiguation evidence for Peano arithmetic via surface form
Triples where some other subject referred to this entity
as "first-order Peano arithmetic".