\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}A lemma and a proof}{5}{subsection.1.4}
\contentsline {subsection}{\numberline {1.5}An alternative axiomatic system}{6}{subsection.1.5}
\contentsline {subsection}{\numberline {1.6}Restatement of lemma and a proof}{7}{subsection.1.6}
\contentsline {section}{\numberline {A}Chores}{8}{section.A}
\contentsline {subsection}{\numberline {A.1}The name of the page}{8}{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}{14}{subsection.A.4}
\contentsline {subsection}{\numberline {A.5}Priority table}{15}{subsection.A.5}
\contentsline {section}{\numberline {B}Index}{18}{section.B}
\contentsline {section}{\numberline {C}Bibliography}{22}{section.C}