2.7 Widerspruchsfreiheit, Vollständigkeit und Nichtableitbarkeit

http://www2.informatik.hu-berlin.de/lehrstuehle/automaten/logik/node18.html

2.7 Widerspruchsfreiheit, Vollständigkeit und Nichtableitbarkeit