Gödelscher Unvollständigkeitssatz

Aus Stupidedia, der sinnfreien Enzyklopädie!
Wechseln zu: Navigation, Suche

Jedes hinreichend mächtige, rekursiv aufzählbare formale System ist, äh...