Back Modell (Logik) German Model (mathematical logic) English Modèle (logique mathématique) French Modello (logica matematica) Italian Modelo (lógica) Portuguese Model (matematik mantiq) Uzbek
Model (také struktura) je matematický pojem z oblasti matematickologické sémantiky. Je to seskupení objektů, na němž jsou definovány nějaké vztahy (relace) a přiřazení (funkce) tak, že vytváří „realizaci“ nějaké formální teorie.