Disambiguation evidence for arithmetization of syntax via surface form

"arithmetization of syntax"

Triples (1)

Triples where some other subject referred to this entity as "arithmetization of syntax".

Gödel numbering → usedIn →
"arithmetization of syntax"
↳ resolves to arithmetization of syntax
ⓘ