Forståelse af ueliminerbarhed i logik og semantik

I sammenh
ng med logik og semantik er en ueliminerbar et udtryk eller begreb, der ikke kan elimineres eller undgås i en given logisk eller semantisk ramme. Det er med andre ord et grundl
ggende eller v
sentligt aspekt af rammev
rket, som ikke kan fjernes eller erstattes uden at ødel
gge selve rammev
rket.

For eksempel kan der i et formelt system som en bevisteori eller en typeteori v
re visse aksiomer eller definitioner som ikke kan fjernes, hvilket betyder, at de ikke kan udledes af andre aksiomer eller definitioner i systemet. Tilsvarende kan der i en semantisk teori som en modelteori v
re visse begreber eller relationer, der er uopsigelige, hvilket betyder, at de ikke kan undgås eller bortforklares på nogen måde. en logisk eller semantisk ramme. Hvis en ramme er konsistent og fuldst
ndig, så bør den ikke indeholde nogen ufravigelige elementer, da alle dens aksiomer og definitioner bør kunne afledes fra hinanden. På den anden side, hvis en ramme indeholder elementer, der ikke kan fjernes, kan den v
re inkonsekvent eller ufuldst
ndig, da der kan v
re visse aspekter af rammen, som ikke kan udledes eller forklares inden for selve rammen.