Zurück zu Stupidedia:Hilft!
Jedes hinreichend mächtige, rekursiv aufzählbare formale System ist, äh...