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