Matematické Fórum

Zdravim, neviem ako na nasledujuci priklad, mohol by mi niekto osvetlit riesienie?:

ω-kategoricka znamena ze ma az na izomorfizmus prave jeden model kardinality  ω.

Nech T = {φ} je teorie jazyka L = ⟨U⟩ s rovností, kde U je unární relační symbol a axiom φ vyjadřuje “U(x) platíı pro právě 42 prvku.”

Q: Je teorie T ω-kategorická? Uveďte zduvodněníı.