In other words, every internal infinite subset of the hyperreals necessarily contains non-standard elements.
Mit anderen Worten: In jeder internen unendlichen Teilmenge der Hyperreale sind notwendigerweise auch Nicht-Standardelemente enthalten.