 Therefore, GST cannot prove the existence of even a countable infinite set, that is, of a set whose cardinality is ℵ0.Even if GST did afford a countably infinite set, GST could not prove the existence of a set whose cardinality is formula_9, because GST lacks the axiom of power set.Hence GST cannot ground analysis and geometry, and is too weak to serve as a foundation for mathematics.