logischer Ausdruck eines Kalküls, der als Ausdruck nicht weiter zerlegbar ist.

In Aussagenkalkülen sind die Atomformeln mit den Aussagenvariablen identisch. In Prädikatenkalkülen bzw. in elementaren Sprachen bestehen die Atomformeln aus Termgleichungen und Ausdrücken der Gestalt R(t₁,…,t_n), wobei R ein n-stelliges Relationszeichen ist und t₁,…, t_n Terme sind.