Welcome to WordPress. This is your first post. Edit or delete it, then start writing!
IST includes all axioms of the Zermelo–Fraenkel set theory with the axiom of choice (ZFC). Note that the ZFC schemata of separation and replacement are not extended to the new language, they can only be used with internal formulas. Moreover, IST includes three new axiom schemata – conveniently one for each letter in its name: Idealisation, Standardisation, and Transfer.
Welcome to WordPress. This is your first post. Edit or delete it, then start writing!