Lexikon der Mathematik: wesentlich unentscheidbare Theorie
eine unentscheidbare Theorie mit der zusätzlichen Eigenschaft, daß auch jede widerspruchsfreie Erweiterung der Theorie unentscheidbar ist.
Copyright Springer Verlag GmbH Deutschland 2017
eine unentscheidbare Theorie mit der zusätzlichen Eigenschaft, daß auch jede widerspruchsfreie Erweiterung der Theorie unentscheidbar ist.
Schreiben Sie uns!