Fraïssé proved a sort-of-converse result: when formula_1 is any non-empty, countable set of finitely generated formula_6-structures that has the above two properties, then it is the age of some countable structure.