Es ist klar daß die Kardinalzahl mit „(∃x…)” nicht mehr zu tun hat als mit „(x…)” und statt ∃(3)x etc. könnte || kann man immer schreiben ~(3x)~ etc.; d.h. „nicht für alle Trippel ist es wahr daß etc.”