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