Non-finite axiomatizability of some finite structures - Gábor Czédli (2021)