We will first state a simplified version of Tarski's theorem, then state and prove in the next section the theorem Tarski actually proved in 1936.
Wir werden zuerst eine vereinfachte Version des Satzes von Tarski angeben, erklären und im nächsten Abschnitt eine Version beweisen, die Tarski tatsächlich 1936 bewiesen hat.