Für eine Aussageform ist In Worten: es gibt (mindestens) ein mit die Aussage, die genau dann wahr ist, wenn für (mindestens) ein Objekt einer gegebenen Menge wahr ist. Siehe auch Quantoren