Disambiguation evidence for Peano arithmetic via surface form

"Peano arithmetic (under standard assumptions)"


As object (1)

Triples where some other subject referred to this entity as "Peano arithmetic (under standard assumptions)".

Zermelo set theory consistentRelativeTo
"Peano arithmetic (under standard assumptions)"
↳ resolves to Peano arithmetic