# HG changeset patch
# User Markus Kaiser <markus.kaiser@in.tum.de>
# Date 1397081418 -7200
# Node ID a78ea627829e5aeadbbb5d6d104767aba6020514
# Parent  1cbb4a5e6ce7c2c25ee7f698af9d52924a61a934
be more precise than "predicate logic"

diff -r 1cbb4a5e6ce7 -r a78ea627829e notes/tex/logic.tex
--- a/notes/tex/logic.tex	Tue Feb 25 00:26:19 2014 +0100
+++ b/notes/tex/logic.tex	Thu Apr 10 00:10:18 2014 +0200
@@ -558,7 +558,7 @@
             \medskip
         \item Es gibt keine solchen Kalküle für die
             \begin{itemize}
-                \item Prädikatenlogik
+                \item Prädikatenlogik höherer Stufe
                 \item Arithmetik
             \end{itemize}
         \item Deshalb sind nicht alle Sätze der Mathematik beweisbar