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