Disambiguation evidence for Peano arithmetic via surface form

"Peano arithmetic"

Triples (12)

Triples where some other subject referred to this entity as "Peano arithmetic".

Tarski's undefinability theorem → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Gödel's incompleteness theorems → relatedTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Gödel's incompleteness theorems → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Hilbert’s second problem → relatedTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Löb's theorem → holdsIn →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Hilbert-style deductive systems → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
arithmetization of syntax → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Was sind und was sollen die Zahlen? → influenced →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Gentzen’s consistency proof for arithmetic → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Skolem arithmetic → contrastWith →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Rosser sentence → relatedTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ
Rosser’s trick in incompleteness proofs → appliesTo →
"Peano arithmetic"
↳ resolves to Peano arithmetic
ⓘ