Eine Theorie T = 〈 …, M, I, D, … 〉 ist inhaltsleer, wenn der wissenschaftliche Anspruch von T praktisch nicht falsch werden kann. Dies liegt hauptsächlich daran, dass die Hypothesen für alle möglichen Faktensammlungen richtig werden und dies kommt wiederum daher, dass bestimmte Fakten nicht bestimmt werden können. Es gibt keine Bestimmungsmethoden für Fakten einer bestimmte Art.
Als Beispiel nehmen wir die Basistheorie der klassischen Mechanik T. Die Modelle von T sind durch das zweite Newtonsche Axiom charakterisiert:
∀ p ∈ P ∈ z ∈ Z ( f ( p, z ) = m ( p ) ⋅  ( p, z ) ). | (1) |
Nehmen wir eine mögliche Faktensammlung
y = 〈 P *, Z* , 
, 3, s *, m *, f * 〉.
Warum ist y ist ein Element des Gehalts von T und damit T inhaltsleer?
a) Analysieren Sie genau den Gehalt von T. Was heißt es, dass y ein Element von Gehalt ( T ) ist?
b) Wir gehen davon aus, dass es für T keine Fakten der Form f ( p, t ) gibt. Beweisen Sie in diesem Fall, dass es ein Modell x ∈ M gibt, in dem y eingebettet werden kann. (Hinweis: (1) kann als Definition verwendet werden.)