Vom Extensionalitätsprinzip unterscheidet sich die Extensionalitätsthese: Sie sagt aus, dass es zu jedem Ausdruck einer Sprache einen äquivalenten extensionalen Ausdruck gibt, dass also jede Sprache in letzter Konsequenz extensional ist.