The applications of LST theorem to the non-standard analysis are discussed.

• 讨论LST定理对非标准分析的应用。