Freunde
Freunde: 0
Noch keine Freunde.
Derdie
January 2022 | Benutzer Jedes hinreichend mächtige, rekursiv aufzählbare formale System ist entweder widersprüchlich oder unvollständig. Die Widerspruchsfreiheit eines solchen Axiomensystems ist nicht aus dem Axiomensystem selbst ableitbar.STO
