Introduction to non-standard analysis (Lecture 2) Professor Chung Pang Mok (Institute of Mathematics, Academia Sinica, Taiwan) [LINK]