Es gibt zwei Quantoren exists und forall existsDieser Quantor heißt "Es gibt (mindestens eins) " Beispiel exists ; eine natürliche Zahl die größer 5 ist entspricht: Es gibt mindestens eine natürliche Zahl die größer 5 ist nexistsDieser Quantor heißt "Es ...