حقائق ورؤى حول نموذج ذري

في نظرية النموذج، النموذج الذري هو حقل فرعي من المنطق الرياضي، وهو نموذج تُحدد فيه كل مجموعة بديهية (consistency set) بواسطة صيغة واحدة. وتُسمّى هذه الأنواع بالأنواع الرئيسية "principal types"، بينما تُسمّى الصيغ التي تحددها بالصيغ الكاملة "complete formulas".