Atomic model (mathematical logic) (source code)

= Atomic model (mathematical logic)
{wiki=Atomic_model_(mathematical_logic)}

In mathematical logic, the term "atomic model" typically refers to a model that has certain properties concerning its structure and the arithmetic of its elements. It is often associated with model theory, a branch of mathematical logic that studies the relationships between formal languages and their interpretations, or models.