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