 Any axiomatizable theory, such as ST and GST, whose theorems include the Q axioms is likewise incomplete.Moreover, the consistency of GST cannot be proved within GST itself, unless GST is in fact inconsistent.GST is