/  
  “Ein ˇ
math
arithm
Satz ist in
dem
einem solchen
Beweissystem nicht entscheidbar,
für welches
in welchem
er seine eigene
Unableitbarkeit
Unbeweisbarkeit
behauptet.”