- 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