\BOOKMARK [1][-]{section.1}{Peano arithmetic}{}
\BOOKMARK [2][-]{subsection.1.1}{The constructs of Peano arithmetic}{section.1}
\BOOKMARK [2][-]{subsection.1.2}{Variables}{section.1}
\BOOKMARK [2][-]{subsection.1.3}{Mendelsons system S}{section.1}
\BOOKMARK [2][-]{subsection.1.4}{A lemma and a proof}{section.1}
\BOOKMARK [2][-]{subsection.1.5}{An alternative axiomatic system}{section.1}
\BOOKMARK [2][-]{subsection.1.6}{Restatement of lemma and a proof}{section.1}
\BOOKMARK [1][-]{section.A}{Chores}{}
\BOOKMARK [2][-]{subsection.A.1}{The name of the page}{section.A}
\BOOKMARK [2][-]{subsection.A.2}{Variables of Peano arithmetic}{section.A}
\BOOKMARK [2][-]{subsection.A.3}{TeX definitions}{section.A}
\BOOKMARK [2][-]{subsection.A.4}{Test}{section.A}
\BOOKMARK [2][-]{subsection.A.5}{Priority table}{section.A}
\BOOKMARK [1][-]{section.B}{Index}{}
\BOOKMARK [1][-]{section.C}{Bibliography}{}