Je was op zoek naar: quantifiers (Engels - Nederlands)

greedy quantifiers
gulzige parameters

reluctant (non-greedy) quantifiers
weigerachtige (niet-gulzige) parameters

similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation.
in de klassieke wiskunde gaat men ervan uit dat men ook oneindige verzamelingen zoals formula_1 in één keer kan overzien.

charles sanders peirce built upon the work of boole to develop a logical system for relations and quantifiers, which he published in several papers from 1870 to 1885.
charles peirce ging verder met het werk van boole en ontwikkelde en publiceerde een logisch systeem voor relaties en kwantoren.

gottlob frege presented an independent development of logic with quantifiers in his "begriffsschrift", published in 1879, a work generally considered as marking a turning point in the history of logic.
gottlob frege publiceerde in 1879 een eigen uitwerking van de logica met kwantoren in zijn "begriffsschrift".

existential quantifier
existentiële quantor