یکی میتواند زبان را برای تعریف مدل بکار ببرد؛ اما، تیوری یک مدل است (یا یک مجموعه از مدل های مشابه)، نه توضیح یک مدل.