\textbf{Hilbert~II} \\
\vspace*{1cm}
Presentation of \\
Formal Correct \\
Mathematical Knowledge \\
\vspace*{1cm} Logical Language
TODO
Michael Meyling
Description
Entities
Elements, Atoms and Lists
Logical Language
Logical Operator Overview
Terms and Formulas
General Error Codes
Subject Variable
Function Term
Predicate Formula
Logical Connectives
Negation
Quantifiers
Class Term
Term
Formula
Representations
XML
\end{verbatim}
Due to XSD restrictions for the XML document some error codes listed in Chapter~\ref{chapter0} will not occur. Instead the XML will be classified as invalid.
]]>