UNENTSCHEIDBARKEIT
- Kernbegriff von Gödels ARBEIT über formal unentscheidbare Sätze
in einem mathematischen
SYSTEM kann ein Satz G geformt werden
der Satz ergibt sich einerseits aus den Prämissen und
Axiomen des Systems und leitet sich folgerichtig davon ab
der Satz sagt von sich
SELBST aus, daß er unbeweisbar ist