Keisler proved that such a hyperreal definition of limit reduces the quantifier complexity by two quantifiers.
Keisler dokázal, že hyperreálná definice limity snižuje kvantifikátorovou složitost o dva kvantifikátory.