أطروحة دوهيم-كواين:

لإنقاذ النظرية،

T ، تصور دوهيم-كواين أن الافتراضات السابقة يمكن تغييرها، مثلا إلى

A ' ، لكي يمكن من خلال مزج

T

و

A '

استنتاج:

مفتاح الرموز: =

T

Bog aan la aqoon