A note on the first incompleteness theorem

DOI10.1002/MALQ.200310021zbMath1016.03063OpenAlexW2038068426MaRDI QIDQ4804183

Katsumasa Ishii

Publication date: 10 April 2003

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310021

zbMATH Keywords

first incompleteness theorem\(\Pi _1\)-extension\(\Sigma _2\)-extension

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: A note on the first incompleteness theorem