{"id":"arxiv/2603.06068","url":"https://arxiv.org/abs/2603.06068","tags":["math.LO"],"score":0,"title":"On a Theorem by Bezboruah & Shepherdson","domain":"math.LO","source":"arxiv","authors":["Albert Visser"],"reviews":0,"subject":"math.LO","summary":"We discuss an incompleteness result proven by Bezboruah and Shepherdson. This result tells us that the weak theory ${\\sf PA}^-$ does not prove the consistency of any theory (under certain assumptions explained in the paper). Kreisel argued that such a result is not meaningful. We discuss Kreisel's objection and conclude that his argument does not hold water. We compare Pudlák's extension of the Second Incompleteness Theorem with the Bezboruah-Sheperdson Theorem. Finally, we reprove the Bezboruah-Sheperdson Theorem for a sequence coding based on an insight of Nielsen and Markov.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-06","reactions":{}}