Definitionale Äquivalenz

Eine Relation zwischen formalen Theorien, die dann gilt, wenn jede Theorie aus der anderen durch Hinzufügen expliziter Definitionen für neue Symbole gewonnen werden kann, sodass die beiden Theorien ohne Änderung der Inhalte der Sätze in den ursprünglichen Vokabularen ineinander übersetzbar sind.