====== 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 [[Axiom#Axiomen]] des Systems und leitet sich folgerichtig davon ab
  * der Satz sagt von sich [[selbst]] aus, daß er unbeweisbar ist