wurde gelöscht mit der Begründung "hier wird einiges durcheinander geworfen: Prädikatenlogische Kalküle sind vollständig, aber die Theorie ist nicht vollständig, die Aussagen in dem Sinne nicht entscheidbar. Zusammenhang Wahrheitswertzuordnung< >Ableitung unklar, weg" (Version vom 2. August 2013, 15:16 Uhr Chricho (Diskussion | Beiträge). Diese Begründung kann ich nicht nachvollziehen. Wo ist im Abschnitt von der Vollständigkeit einer Theorie die Rede? "Aussagen in dem Sinne nicht entscheidbar" worauf bezieht sich das?-- Leif Czerny 20:46, 3. Aug. 2013 (CEST)