Quantorenlogische Elimination theoretischer Begriffe: Der Ramsey-Satz

Zusammenfassung

Wir gehen wieder von der Annahme aus, daß in unserer Objektsprache L eine Theorie T formuliert sei, die theoretische Terme enthält, so daß die Theorie nicht in der Teilsprache L _B von L, der Beobachtungssprache, ausdrückbar ist. Da es uns auch hier nicht um den rein theoretischen Kalkül, sondern um die interpretierte Theorie geht, wählen wir als abkürzendes Symbol, so wie bereits an früherer Stelle, die Konjunktion T ∧ Z bzw. im Unendlichkeitsfall die Vereinigung T ∪ Z, wobei T die theoretischen Postulate und Z die Korrespondenzregeln enthalten soll. Wo immer im folgenden von der Theorie die Rede ist, soll darunter die interpretierte Theorie verstanden werden.