„Die Ausdrücke ‚für alle…‘ und ‚es gibt…‘ heißen Quantoren. Dabei heißt ‚für alle…‘ Allquantor und ‚es gibt…‘ ''Existenzquantor.''“<ref>{{Literatur |Autor=Lutz Warlich |Titel=Grundlagen der Mathematik für Studium und Lehramt |Auflage=2. |Verlag=Lutz Warlich |Ort=Koblenz |Jahr=2006 |ISBN=3-8334-5337-0 |Seiten=28 |Online=[http://books.google.de/books?id=SPJ0thDsb2AC&pg=PA28&hl=de&sa=X Online-Version]}}</ref>
''[[Prädikatenlogik]]:'' [[Operator]], der ausdrückt, dass es mindestens ein Objekt gibt, welches bestimmte Bedingungen erfüllt