A theory of hyperfinite process: the complete removal of individual uncertainty via exact LLN

The interplay of internal and external entities is still beneficial in several situations for the discovery of completely standard outcomes, despite the fact that transfer of a standard result to a non-standard model cannot be taken as a new result. The power of non-standard analysis results from the saturation principle and the use of external sets. Non-standard constructions provide a more convenient and efficient use of higher order sets, eventually rendering one to really discover new results when interpreting non-standard outcome in the standard models.