satz
-
Wenn man jetzt also Axiome mit abzählbar vielen "Buchstaben" zulässt, reicht ein endliches Alphabet, um überabzählbar viele Axiome aufzustellen? Irgendwie kam da keine richtige Antwort darauf.
-
asmodis schrieb:
Wenn man jetzt also Axiome mit abzählbar vielen "Buchstaben" zulässt, reicht ein endliches Alphabet, um überabzählbar viele Axiome aufzustellen? Irgendwie kam da keine richtige Antwort darauf.
Ja, analog zu den reellen Zahlen, die sich als Dezimalbrüche mit unendlich vielen Nachkommastellen, aber endlichem Alphabet (0-9), auffassen lassen.
-
Jester schrieb:
Walli: Hast Du spezielle Hinweise darauf, daß sowas nicht gehen sollte?
Nein. War nur interessehalber gefragt.