法学方法。两个办法都能应用于除分析外的其它数学领域，包括数论，代数，和拓扑。用合适的模型可以证明ZFC + IST相对于ZFC的相容性：若ZFC是相容的，则ZFC + IST也是相容的。实际上可以证明更强的命题：ZFC + IST是ZFC的一个保守扩展，也就是说任何经典公式（正确或不正确的！）只要可以在内含集合论中证明，则仅用策梅洛-弗兰克尔的公理系统加上选择公理就能证明。使用句法学方法做非标准分析时，需要非常小心地应用集合构成原理（通常叫做概括公理，或分类公理模式）；数学家们常常想当然地认为此