Freunde
Freunde: 0Noch keine Freunde.
Diedie
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
