\contentsline {section}{\numberline {1}Peano arithmetic}{1}{section.1}
\contentsline {subsection}{\numberline {1.1}The constructs of Peano arithmetic}{1}{subsection.1.1}
\contentsline {subsection}{\numberline {1.2}Variables}{2}{subsection.1.2}
\contentsline {subsection}{\numberline {1.3}Mendelsons system S}{4}{subsection.1.3}
\contentsline {subsection}{\numberline {1.4}An alternative axiomatic system}{6}{subsection.1.4}
\contentsline {section}{\numberline {A}Chores}{7}{section.A}
\contentsline {subsection}{\numberline {A.1}The name of the page}{7}{subsection.A.1}
\contentsline {subsection}{\numberline {A.2}Variables of Peano arithmetic}{8}{subsection.A.2}
\contentsline {subsection}{\numberline {A.3}T\kern -.1667em\lower .5ex\hbox {E}\kern -.125emX\spacefactor \@m \ definitions}{9}{subsection.A.3}
\contentsline {subsection}{\numberline {A.4}Test}{9}{subsection.A.4}
\contentsline {subsection}{\numberline {A.5}Priority table}{10}{subsection.A.5}
\contentsline {section}{\numberline {B}Index}{12}{section.B}
\contentsline {section}{\numberline {C}Bibliography}{13}{section.C}