Some proofs of undecidability of arithmetic

DOI10.4064/fm-43-2-166-177zbMath0072.00502OpenAlexW796849068MaRDI QIDQ3237141

Andrzej Grzegorczyk

Publication date: 1956

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213409

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

On the concept of categoricity

This page was built for publication: Some proofs of undecidability of arithmetic