# Satz von Diaconescu-Goodman-Myhill

Der Satz von Diaconescu-Goodman-Myhill, benannt nach Radu Diaconescu, N. D. Goodman und J. Myhill, ist ein Satz aus der mathematischen Logik, der zeigt, dass der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet werden kann. Der ursprüngliche Beweis von R. Diaconescu aus dem Jahre 1975 behandelte die Situation in Topoi. Die hier wiedergegebene Version geht auf Goodman und Myhill zurück. Man spricht daher auch vom Satz von Goodman-Myhill. Manche Autoren sprechen aber auch einfach vom Satz von Diaconescu.

## Formulierung des Satzes

Vor dem Hintergrund der intuitionistischen Zermelo-Fraenkel-Mengenlehre folgt aus dem Auswahlaxiom der Satz vom ausgeschlossenen Dritten.
Das Auswahlaxiom wird üblicherweise mit AC (engl. axiom of choice) bezeichnet und der Satz vom ausgeschlossenen Dritten mit LEM (engl. law of the excluded middle). Damit lautet der Satz von Diaconescu-Goodman-Myhill in Kurzform
    $\mathrm {AC} \Rightarrow \mathrm {LEM}$.

## Bedeutung für den Intuitionismus

In der intuitionistischen Mathematik wird eine Oder-Aussage $A\lor B$ nur dann akzeptiert, wenn man einen Beweis für $A$ oder einen Beweis für $B$ hat. Eine Begründung für $A\lor B$ ohne zu wissen, welche der Aussagen nun wahr ist, wird abgelehnt. Der Satz vom ausgeschlossenen Dritten (LEM) behauptet, dass $A\lor \neg A$ für jede Aussage $A$ gilt. Die intuitionistische Logik verwendet LEM nicht als Axiom, aber auch nicht seine Negation. Das heißt, sie lässt die Frage offen. Für bestimmte Aussagen $A$ lässt sich jedoch $A\lor \neg A$ beweisen (eine solche Aussage heißt entscheidbar).
Der Satz von Diaconescu-Goodman-Myhill zeigt daher, dass das Auswahlaxiom für einen Intuitionisten nicht akzeptabel sein kann. Allerdings wird das Auswahlaxiom auch ganz unabhängig von diesem Satz abgelehnt, denn es behauptet die Existenz gewisser Funktionen, ohne diese vorweisen zu können.

## Beweis des Satzes

Der kurze Beweis ist intuitionistisch sehr interessant und soll daher kurz besprochen werden.
Man betrachte zu einer beliebigen Aussage $A$ die mittels Aussonderungsaxiom definierten Teilmengen von $\{0,1\}$
    $U=\{\,x\in \{0,1\}\;|\;A\lor (x=0)\,\}\subseteq \{0,1\}$ und $V=\{\,x\in \{0,1\}\;|\;A\lor (x=1)\,\}\subseteq \{0,1\}$,
die definitionsgemäß bewohnt sind. Nach dem Paarmengenaxiom existiert die Menge $\{U,V\}$.
Nach dem Auswahlaxiom gibt es eine auf $\{U,V\}$ definierte Funktion
    $f\colon \{U,V\}\to U\cup V=\{0,1\}$
mit $f(U)\in U$ und $f(V)\in V$. Es gilt $U\cup V=\{0,1\}$, da $0\in U$, $1\in V$ und $U,V\subseteq \{0,1\}$.
Nach Definition der Mengen $U$ und $V$ bedeutet das
    $(f(U)=0\lor A)\land (f(V)=1\lor A)$
und daher, per Distributivität,
    $(f(U)=0\land f(V)=1)\lor A$.
Aus $f(U)=0\land f(V)=1$ folgt $\neg A$: Angenommen $A$ gälte, so wäre $U=V$ und somit
    $0=f(U)=f(V)=1$,
was $0\neq 1$ widerspricht. Insgesamt ergibt das $A\lor \neg A$ wie gewünscht.
Da die Aussage $A$ beliebig war, ist damit der Satz vom ausgeschlossenen Dritten aus dem Auswahlaxiom hergeleitet.

## Bemerkungen zum Beweis

Die Definition der Mengen $U$ und $V$ mutet auf den ersten Blick ungewöhnlich an, da die Aussage $A$ nichts mit $x\in \{0,1\}$ zu tun hat. Das spielt aber bei der Anwendung des Aussonderungsaxioms keine Rolle. Ist $A$ wahr, dann sind die definierenden Bedingungen von $U$ und $V$ für $x=0$ und $x=1$ erfüllt und beide Mengen sind gleich $\{0,1\}$. Ist $A$ falsch, dann ist $U=\{0\}$ und $V=\{1\}$. Wenn wir aber nicht wissen, ob $A$ oder $\neg A$ gilt, dann wissen wir nicht, ob $\{U,V\}$ aus einem oder aus zwei Elementen besteht.
In der Mengenlehre lässt sich in intuitionistischer Logik für endliche bewohnte Mengen auch ohne Auswahlaxiom eine Auswahlfunktion angeben, die involvierten Mengen $U$, $V$ und $\{U,V\}$ sind aber nach intuitionistischen Begriffen nicht endlich, sondern lediglich endlich aufzählbar. Endlich heißt eine Menge, die gleichmächtig zu $\{0,\ldots ,n-1\}$ für eine natürliche Zahl $n\in \mathbb {N}$ ist, wohingegen für endlich aufzählbare Mengen lediglich eine endliche Obergrenze existieren muss, sprich, es gibt eine natürliche Zahl $n$, sodass sich $\{0,\ldots ,n-1\}$ surjektiv auf die Menge abbilden lässt. Die Begriffe sind in klassischer Logik äquivalent, müssen intuitionistisch aber unterschieden werden. Für endlich aufzählbare Mengen lässt sich allgemein intuitionistisch ohne Auswahlaxiom keine Auswahlfunktion finden.