Mercurial > 13ws.ds
changeset 57:a78ea627829e
be more precise than "predicate logic"
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Thu, 10 Apr 2014 00:10:18 +0200 |
parents | 1cbb4a5e6ce7 |
children | 8946d732625f |
files | notes/tex/logic.tex |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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