The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q.

Dan E. Willard

Browse the full TABLEAUX paper archive.