"Kapásból nem látom, hogy az nem elég, hogy "zárt az izomorfiára és az ultraszorzatra", tehát nem tudok példát ilyen osztályra, ami nem axiomatizálható"

Mondok egy pici segítséget: elemien ekvivalens struktúrák méretei lehetnek nagyon különbözőek, ultraszorzással a méretet nem tudod csökkenteni.

(konkrét megoldást ne írd be, mert még aktív HF az egyik tárgyból)