Incompleteness of boundedly axiomatizable theories

Ali Enayat, Albert Visser

Research output: Working paperPreprintAcademic


Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences of bounded quantifier-alternation-depth. Our proof employs an appropriate reduction mechanism to rule out the possibility of completeness by simply invoking Tarski's Undefinability of Truth theorem. We also use the proof strategy of Theorem A to obtain other incompleteness results (as in Theorems A+; B and B+).
Original languageEnglish
Number of pages6
Publication statusPublished - 23 Nov 2023


  • math.LO
  • 03F40


Dive into the research topics of 'Incompleteness of boundedly axiomatizable theories'. Together they form a unique fingerprint.

Cite this