\contentsline {section}{\numberline {1}Peano arithmetic}{1}{section.1}
\contentsline {subsection}{\numberline {1.1}Introduction of new constructs}{1}{subsection.1.1}
\contentsline {subsection}{\numberline {1.2}The constructs of Peano arithmetic}{2}{subsection.1.2}
\contentsline {subsection}{\numberline {1.3}Variables}{2}{subsection.1.3}
\contentsline {subsection}{\numberline {1.4}Axiomatic system}{4}{subsection.1.4}
\contentsline {subsection}{\numberline {1.5}A lemma and a proof}{5}{subsection.1.5}
\contentsline {section}{\numberline {A}Chores}{6}{section.A}
\contentsline {subsection}{\numberline {A.1}The name of the page}{6}{subsection.A.1}
\contentsline {subsection}{\numberline {A.2}Variables of Peano arithmetic}{6}{subsection.A.2}
\contentsline {subsection}{\numberline {A.3}T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX\spacefactor \@m \ definitions}{7}{subsection.A.3}
\contentsline {subsection}{\numberline {A.4}Test}{12}{subsection.A.4}
\contentsline {subsection}{\numberline {A.5}Priority table}{13}{subsection.A.5}
\contentsline {section}{\numberline {B}Index}{15}{section.B}
\contentsline {section}{\numberline {C}Bibliography}{19}{section.C}