 This includes GST and every axiomatic set theory worth thinking about, assuming these are consistent.In fact, the undecidability of ST implies the undecidability of first-order logic with a single binary predicate letter.Q is also incomplete in the sense of Gödel's incompleteness theorem.