Gewiß (∃n) φn ist wesenlich verschieden von (∃x)fx. Der Unterschied ist daß (∃x) … amorph ist während (∃n) … eine Struktur hat.