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
