The purpose of this article to introduce nonstandard models for a familiar types of convergent sequences theories through a transfer principle. The nonstandard analysis principle discuss, that any statements on areal system can be extended to a similar structure over larger hyperreal system therefore the results that hold true on the original system, remains true in a hyperreal system if and only if its *-transform is true. We apply such technique to transfer a classical proof for real sequences theorems, therefore we obtain an equivalents nonstandard proof on hyperreal system which is often clear, shorter and uncoblicated.