\relax 
\bibstyle{languageindependentcpsnamedwithlabelsorting}
\citation{wirth-hilbert-seki}
\citation{RN95}
\citation{Moore_Wirth_Automation_of_Mathematical_Induction_2017}
\citation{wirth-hilbert-seki}
\citation{wirth-hilbert-seki}
\citation{gabbay:nomu-jv}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{wirth-hilbert-seki}
\citation{wirth-jal}
\citation{wirth-hilbert-seki}
\citation{wirth-hilbert-seki}
\citation{wirth-jal}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {section}{\numberline {1}Overview}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Localizing Our Work in the Field of Artificial Intelligence (AI)}{5}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}New in the First Edition of 2011 compared to \cite {wirth-hilbert-seki}}{5}}
\citation{wirthcardinal}
\citation{wirth-hilbert-seki}
\citation{wirth-hilbert-seki}
\citation{wirth-jal}
\citation{wirthcardinal}
\citation{wirth-simplified-epsilon-seki}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}New in This Edition of 2024 compared to the First Edition}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.4}Organization}{6}}
\citation{Fitting90}
\citation{Fitting90}
\citation{fitting}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\@writefile{toc}{\contentsline {section}{\numberline {2}Introduction to Free Atoms and Variables}{7}}
\newlabel{section Introduction to Free Variables and Atoms}{{2}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}Essential Notions and Notation}{7}}
\newlabel{section free}{{2.1}{7}}
\citation{mathematicalphilosophy}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Bound and Free Atoms}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Variables}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4}Instantiation of Variables and Free Atoms}{9}}
\citation{smullyan}
\citation{gentzen}
\citation{jancl}
\@writefile{toc}{\contentsline {section}{\numberline {3}Introduction to Reductive Inference Rules}{11}}
\newlabel{section Reductive Inference Rules}{{3}{11}}
\newlabel{section principal formula}{{3}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Tautologies}{11}}
\newlabel{section tautologies}{{3.1}{11}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}\relax $\alpha  $-Rules}{11}}
\newlabel{subsection alpha Rules}{{3.2}{11}}
\citation{gentzen}
\citation{smullyan}
\citation{fitting}
\citation{prawitzimproved}
\citation{kanger}
\citation{Fitting90}
\citation{Fitting90}
\citation{fitting}
\citation{prawitzimproved}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-heijenoort}
\citation{wirth-hilbert-seki}
\citation{wirth-heijenoort-SEKI}
\citation{herbrand-handbook}
\citation{herbrand-handbook}
\citation{SR--2009--01}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3}\relax $\beta  $-Rules}{12}}
\newlabel{subsection beta Rules}{{3.3}{12}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4}\relax $\gamma  $-Rules}{12}}
\newlabel{subsection gamma Rules}{{3.4}{12}}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5}\relax $\delta ^- $-Rules}{13}}
\newlabel{subsection deltaminus Rules}{{3.5}{13}}
\newlabel{example soundness of delta minus}{{3.1}{13}}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{nonpermut}
\citation{wirth-jsc-non-permut}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.6}\relax $\delta ^+ $-Rules}{14}}
\newlabel{subsection deltaplus Rules}{{3.6}{14}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.7}Global and Practical Aspects of Inference Systems}{15}}
\newlabel{section global}{{3.7}{15}}
\citation{kohlhasetableauupdated}
\citation{wirthcardinal}
\citation{wallen}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.8}\math \gamma -Multiplicity}{16}}
\newlabel{section gamma multiplicity}{{3.8}{16}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.9}Skolem\discretionary {-}{}{}ization}{16}}
\citation{wirth-jal}
\citation{wirth-jal}
\citation{wirth-hilbert-seki}
\@writefile{toc}{\contentsline {section}{\numberline {4}Introduction to \hilbertsepsilon }{17}}
\newlabel{section Introduction to hilbertsepsilon}{{4}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Motivation}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}Requirements Specification}{17}}
\newlabel{section requirement specification}{{4.2}{17}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.3}Overview}{17}}
\citation{frege-grundgesetze}
\citation{peanoiotabar}
\citation{peanoiotabargerman}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.4}From the \relax $\iota  $\ to the \relax $\varepsilon  $}{18}}
\newlabel{section from iota to epsilon}{{4.4}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.1}The Symbols for the \relax $\iota  $-Operator}{18}}
\newlabel{section iota symbols}{{4.4.1}{18}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.2}The Essential Idea of the \relax $\iota  $-Operator}{18}}
\newlabel{section iota idea}{{4.4.2}{18}}
\newlabel{section example iota}{{4.4.2}{18}}
\newlabel{example iota}{{4.1}{18}}
\citation{denoting}
\citation{PM}
\citation{denoting}
\citation{denoting}
\citation{referring}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{Slater_2007_CompletingRussellsLogic}
\citation{slater-handbook}
\citation{referring}
\citation{peanoiotabar}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\citation{peanoiotabar}
\citation{kennedypeanolife}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.3}Elementary Semantics Without Straightforward Overspecification}{19}}
\citation{peanoiotabar}
\citation{peanoiota}
\citation{ML}
\citation{peanoiotabar}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.4}Overspecified \relax $\iota  $-Operators}{20}}
\newlabel{section overspecified iota}{{4.4.4}{20}}
\newlabel{note history of iota}{{1}{20}}
\citation{frege-grundgesetze}
\citation{frege-grundgesetze}
\citation{ML}
\citation{ML}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.4.5}A Completely Defined, but Not Overspecified \relax $\iota  $-Operator}{21}}
\newlabel{section iota epsilon}{{4.4.5}{21}}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.5}The \relax $\varepsilon  $\ as an Improvement over the \relax $\iota  $}{22}}
\newlabel{section improvement over iota}{{4.5}{22}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.6}On the \relax $\varepsilon  $'s Proof-Theoretic Origin}{22}}
\newlabel{section proof-theoretic origin}{{4.6}{22}}
\newlabel{section epsilon}{{4.6}{22}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.6.1}The \relax $\varepsilon  $-Formula and the Historical Sources of the \relax $\varepsilon  $}{22}}
\newlabel{section epsilon formula}{{4.6.1}{22}}
\citation{ackermann-1925}
\citation{unendliche}
\citation{grundlagenvortrag}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.6.2}The Original Explanation of the \relax $\varepsilon  $}{23}}
\newlabel{section The Original Explanation of the epsilon}{{4.6.2}{23}}
\newlabel{example epsilon instead of iota 1}{{4.2}{23}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.6.3}Defining the Quantifiers via the \relax $\varepsilon  $}{23}}
\citation{wirth-epsilon-confluent-terminating}
\citation{wirth-epsilon-confluent-terminating}
\citation{wirth-epsilon-confluent-terminating-ifcolog}
\citation{Slater_2007_CompletingRussellsLogic}
\citation{Slater_2007_CompletingRussellsLogic}
\citation{slater-handbook}
\citation{Slater_2007_CompletingRussellsLogic}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\newlabel{example slater nein danke}{{4.3}{24}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {4.6.4}The \relax $\varepsilon  $-Theorems}{24}}
\newlabel{section epsilon theorems}{{4.6.4}{24}}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-second-edition-volume-one}
\citation{meyervioldiss}
\citation{logischegrundlagen}
\citation{meyervioldiss}
\citation{intuitionisticsemantics}
\citation{fittingquantifiedmodal}
\citation{fittingepsilon}
\citation{wirth-jal}
\newlabel{note tau}{{2}{25}}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\citation{wirth-epsilon-confluent-terminating}
\citation{wirth-epsilon-confluent-terminating}
\citation{wirth-epsilon-confluent-terminating-ifcolog}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.7}Quantifier Elimination and Subordinate \relax $\varepsilon  $-terms}{26}}
\newlabel{section quantifier elimination and subordinate}{{4.7}{26}}
\newlabel{definition subordinate}{{4.5}{26}}
\newlabel{example subordinate}{{4.6}{26}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.8}Our Objective}{29}}
\newlabel{section our objective}{{4.8}{29}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.9}Indefinite and Committed Choice}{29}}
\newlabel{section indefinite choice}{{4.9}{29}}
\newlabel{section committed choice}{{4.9}{29}}
\newlabel{example Pope better}{{4.7}{29}}
\newlabel{example committed choice}{{4.8}{29}}
\citation{productmodel}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.10}Do not be afraid of Indefiniteness!}{30}}
\newlabel{section do not be afraid}{{4.10}{30}}
\newlabel{section E2}{{4.10}{30}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.11}Replacing \relax $\varepsilon  $-Terms with Variables}{32}}
\newlabel{section replacing epsilon}{{4.11}{32}}
\newlabel{example higher-order choice-condition}{{4.11}{33}}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.12}Why We Do Not Abandon the \math \varepsilon -Symbol}{34}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.13}Crucial Representational Change, but nothing more yet?}{34}}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-second-edition-volume-two}
\citation{wirthcardinal}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.14}Instantiating Choice-Conditioned Variables (``\relax $\varepsilon  $-Substitution'')}{35}}
\newlabel{section Instantiating Strong Free Universal Variables}{{4.14}{35}}
\newlabel{definition Q}{{4.12}{35}}
\newlabel{section example soundness of delta plus}{{4.14}{36}}
\newlabel{example soundness of delta plus}{{4.13}{36}}
\citation{wirth-jsc}
\newlabel{example choice-conditions and predecessor}{{4.14}{37}}
\citation{fried-canossa}
\newlabel{example Canossa}{{4.15}{38}}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {section}{\numberline {5}Formal Presentation of Our Syntax}{39}}
\newlabel{section formal syntax}{{5}{39}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1}Basic Notions and Notation}{39}}
\newlabel{Basic Notions and Notation}{{5.1}{39}}
\newlabel{lemma wellfounded and transitive closure}{{5.1}{39}}
\citation{Fitting90}
\citation{Fitting90}
\citation{fitting}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2}Choice Functions}{40}}
\newlabel{definition Generalized Choice Function}{{5.2}{40}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.3}Variables, Atoms, Constants, and Substitutions}{40}}
\newlabel{section Variables}{{5.3}{40}}
\citation{wirthgreen}
\citation{fac/GabbayP02}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.4}Consistent Posi\discretionary {-}{}{}\discretionary {tive/}{Ne}{tive/Ne}\discretionary {-}{}{}ga\discretionary {-}{}{}tive\ Vari\discretionary {-}{}{}able-Con\discretionary {-}{}{}di\discretionary {-}{}{}tions}{41}}
\newlabel{section vc s}{{5.4}{41}}
\newlabel{section consistency}{{5.4}{41}}
\citation{wirthhilbertepsilon}
\citation{wirthhilbertepsilon}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\newlabel{definition variable condition}{{5.4}{42}}
\newlabel{definition consistency}{{5.5}{42}}
\newlabel{corollary cycle}{{5.6}{42}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.5}Extensions, \math \sigma -Updates, and \pair P N-Sub\discretionary {-}{}{}sti\discretionary {-}{}{}tu\discretionary {-}{}{}tions}{43}}
\newlabel{section Extensions of PNVC s}{{5.5}{43}}
\newlabel{section substitutions}{{5.5}{43}}
\newlabel{definition extension variable-condition}{{5.7}{43}}
\newlabel{corollary consistent extension}{{5.9}{43}}
\newlabel{definition update}{{5.10}{43}}
\newlabel{definition ex r sub}{{5.11}{43}}
\newlabel{definition quasi-existential}{{5.11}{43}}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.6}Choice-Conditions}{44}}
\newlabel{section choice-conditions}{{5.6}{44}}
\newlabel{definition choice condition}{{5.12}{44}}
\newlabel{definition choice type}{{5.12}{44}}
\newlabel{item one definition choice condition}{{1}{44}}
\newlabel{item two definition choice condition}{{2}{44}}
\newlabel{item three definition choice condition}{{3}{44}}
\newlabel{example choice-condition}{{5.13}{44}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.7}Extending Extensions and \relax $\sigma  $-Updates to Choice-Conditions}{45}}
\newlabel{section extending}{{5.7}{45}}
\newlabel{definition extended extension}{{5.14}{45}}
\newlabel{corollary extened extension irreflexive ordering}{{5.15}{45}}
\newlabel{definition ex str s up}{{5.16}{45}}
\newlabel{lemm ex str s up}{{5.17}{46}}
\citation{wirth-hilbert-seki}
\citation{hintikkaquantification}
\citation{hintikkaprinciples}
\citation{hintikkaquantification}
\citation{hintikkaprinciples}
\@writefile{toc}{\contentsline {section}{\numberline {6}Example: Henkin\ Quantification}{47}}
\newlabel{section henkin Quantification and IF Logic}{{6}{47}}
\newlabel{example henkin quantification}{{6.1}{47}}
\citation{miller}
\citation{wirthhilbertepsilon}
\citation{wirthhilbertepsilon}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\citation{wirth-hilbert-seki}
\citation{Kow74}
\citation{Prolog}
\citation{wirth-jal}
\citation{wirthcardinal}
\citation{wirth-hilbert-seki}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {section}{\numberline {7}Formal Presentation of our Semantics}{51}}
\newlabel{section formal semantics}{{7}{51}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Semantic Presuppositions}{51}}
\newlabel{section Semantic Presuppositions}{{7.1}{51}}
\citation{miller}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Semantic Relations and \relax $\@mathcal {S} $-Raising-Valu\discretionary {-}{}{}ations}{53}}
\newlabel{section existential valuations}{{7.2}{53}}
\newlabel{definition semantic relation}{{7.1}{53}}
\newlabel{definition semantic}{{7.2}{53}}
\newlabel{definition epsilon}{{7.3}{53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Compatibility of Choice-Conditions}{54}}
\newlabel{section compatibility}{{7.3}{54}}
\newlabel{definition compatibility}{{7.4}{54}}
\newlabel{item 1 definition compatibility}{{1}{54}}
\newlabel{item 2 definition compatibility}{{2}{54}}
\newlabel{cc s and Hilbert's epsilon}{{7.3}{54}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Existence of Compatible Raising-Valuations}{54}}
\newlabel{theorem compatible exists}{{7.5}{55}}
\newlabel{lemma extension and compatibility}{{7.6}{55}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5}\Validity C{\pair P N}}{55}}
\newlabel{section strong validity}{{7.5}{55}}
\newlabel{definition strong validity}{{7.7}{55}}
\newlabel{ex validity}{{7.9}{56}}
\citation{lambert-1764}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.6}Validity of Our Version \relax $Q_C $ of Hilbert--\unhbox \voidb@x \hbox {Ber\discretionary {-}{}{}nay\unprotectedes }' Axiom \relax $(\varepsilon _0) $}{57}}
\newlabel{lemma Q valid}{{7.10}{57}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.7}The Main Lemma on Substitution of Variables}{57}}
\citation{wirthcardinal}
\newlabel{page lambert}{{7.7}{58}}
\newlabel{lemma hard}{{7.11}{58}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Reduction}{59}}
\newlabel{section reduction}{{8}{59}}
\newlabel{definition strong reduction}{{8.1}{59}}
\newlabel{corollary strong reduces to}{{8.2}{59}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.1}Mutual Reduction of \relax $\alpha  $-, \relax $\beta  $-, \relax $\gamma  $-, \relax $\delta  $-Rules}{60}}
\newlabel{section Soundness, Safeness, and Solution-Preservation}{{8.1}{60}}
\newlabel{theorem strong sub-rules}{{8.3}{60}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.2}From Safe Proof Steps to Lemma Application and Instantiation of Variables}{60}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.1}Application of Induction Hypotheses and Lemmas}{61}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {8.2.2}Instantiation of Variables}{62}}
\newlabel{corollary instantiation}{{8.4}{62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.3}Monotonicity, Instantiation of Variables and Free Atoms}{63}}
\newlabel{section theorem Monotonicity, Instantiation of Variables and Free Atoms}{{8.3}{63}}
\newlabel{theorem strong reduces to}{{8.5}{63}}
\citation{leisenring}
\citation{bourbaki}
\citation{ackermann-mengentheoretische-Begruendung}
\@writefile{toc}{\contentsline {subsection}{\numberline {8.4}Leisen\discretionary {-}{}{}ring's Axiom (E2) becomes Valid}{64}}
\newlabel{section leisenring's (E2) becomes valid}{{8.4}{64}}
\newlabel{theorem E2' valid}{{8.6}{64}}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {section}{\numberline {9}Summary and Discussion}{67}}
\newlabel{section summary}{{9}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.1}Posi\discretionary {-}{}{}\discretionary {tive/}{Ne}{tive/Ne}\discretionary {-}{}{}ga\discretionary {-}{}{}tive\ Vari\discretionary {-}{}{}able-Con\discretionary {-}{}{}di\discretionary {-}{}{}tions}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.2}Semantics of Posi\discretionary {-}{}{}\discretionary {tive/}{Ne}{tive/Ne}\discretionary {-}{}{}ga\discretionary {-}{}{}tive\ Vari\discretionary {-}{}{}able-Con\discretionary {-}{}{}di\discretionary {-}{}{}tions}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.3}Replacing \relax $\varepsilon  $-Terms with Variables}{68}}
\newlabel{section Replacing varepsilon-terms with free variables}{{9.3}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.4}Semantics of Choice-Conditions}{68}}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.5}Substitution of Variables (``\math \varepsilon -Substitution'') }{68}}
\newlabel{section summary epsilon substitution}{{9.5}{68}}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.6}Where Have All the \relax $\varepsilon  $-Terms Gone?}{69}}
\newlabel{section Abracadabra}{{9.6}{69}}
\citation{wittgenstein-lectures-foundations-of-mathematics}
\citation{asserepsilon}
\citation{hermesepsilon}
\citation{leisenring}
\@writefile{toc}{\contentsline {subsection}{\numberline {9.7}Are We Breaking with Traditional Treatment of Hilbert's \nlbmath \varepsilon ?}{70}}
\citation{fitting}
\citation{wirthcardinal}
\citation{wirth-hilbert-seki}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\citation{wirthhilbertepsilon}
\citation{wirthhilbertepsilon}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\citation{wirthcardinal}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jsc-non-permut}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort}
\citation{wirth-heijenoort-SEKI}
\@writefile{toc}{\contentsline {section}{\numberline {10}Conclusion}{71}}
\newlabel{section conclusion}{{10}{71}}
\citation{wirth-hilbert-seki}
\citation{wirthcardinal}
\@writefile{toc}{\contentsline {section}{\numberline {A}Are Liberalized \relax $\delta  $-Rules Always More Liberal?}{73}}
\newlabel{section really more liberalized}{{A}{73}}
\citation{leisenring}
\citation{leisenring}
\citation{wirth-jal}
\citation{wirth-hilbert-seki}
\@writefile{toc}{\contentsline {section}{\numberline {B}Semantics for \hilbertsepsilon \ in the Literature}{75}}
\newlabel{section in the literature}{{B}{75}}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.1}Right-Unique Semantics}{75}}
\newlabel{section right-unique semantics}{{B.1}{75}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.1.1}Extensionality:\\ \ackermannplain 's (II,4) \ = \ \bourbakiplain 's (S7) \ = \ \leisenringplain 's (E2)}{75}}
\newlabel{section extensionality}{{B.1.1}{75}}
\citation{logicaloptions}
\citation{bellclassicalepsilon}
\citation{bellintuitionisticepsilon}
\citation{asserepsilon}
\citation{meyervioldiss}
\citation{ahrendtgiese}
\citation{ahrendtgiese}
\citation{hermesepsilon}
\citation{vext}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.1.2}Weaker than (E2), but still Right-Unique}{76}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.1.3}Overspecification even beyond (E2)}{76}}
\newlabel{note bell}{{5}{76}}
\citation{leisenring}
\citation{leisenring}
\citation{leisenring}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{leisenring}
\citation{slater-intensional-logic}
\citation{slater-intensional-logic}
\citation{Slater_2002_LogicReformed}
\citation{de-mathematisation-of-Logic}
\citation{slater-handbook}
\citation{logic-not-mathematical}
\citation{asserepsilon}
\citation{asserepsilon}
\citation{grundlagen-first-edition-volume-two}
\citation{asserepsilon}
\citation{asserepsilon}
\citation{grundlagen-first-edition-volume-two}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.1.4}Strengthening Semantics to Turn Axiomatizations Complete}{77}}
\citation{asserepsilon}
\citation{asserepsilon}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-first-edition-volume-two}
\citation{grundlagen-second-edition-volume-two}
\citation{grundlagen-german-english-edition-volume-one-two}
\citation{heusingerepsilon}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {B.1.5}Roots of the Misunderstanding of a Right-Uniqueness Requirement}{78}}
\newlabel{section root citations}{{B.1.5}{78}}
\citation{grundlagenvortrag}
\citation{axiomofchoice}
\citation{weakaxiomofchoice}
\citation{logischegrundlagen}
\citation{leisenring}
\citation{logicofchoice}
\citation{heusingerepsilon}
\citation{logicofchoice}
\citation{logicofchoice}
\citation{logicofchoice}
\citation{dialogprojectantrag}
\citation{logicofchoice}
\@writefile{toc}{\contentsline {subsection}{\numberline {B.2}Indefinite Semantics in the Literature}{80}}
\newlabel{subsection indefinite}{{B.2}{80}}
\citation{wirthhilbertepsilon}
\citation{wirthhilbertepsilon}
\citation{wirthcardinal}
\citation{nonpermut}
\citation{wirth-jal}
\citation{wirth-jsc-non-permut}
\citation{wirth-hilbert-seki}
\citation{gabbay:nomu-jv}
\@writefile{toc}{\contentsline {section}{\numberline {C}On Formalizing Vari\discretionary {-}{}{}able-Con\discretionary {-}{}{}di\discretionary {-}{}{}tions}{81}}
\newlabel{section vc design discussion}{{C}{81}}
\@writefile{toc}{\contentsline {section}{Proofs}{83}}
\citation{wirth-simplified-epsilon-journal}
\citation{wirth-simplified-epsilon-seki}
\citation{wirth-sieb}
\citation{logic-not-mathematical}
\citation{grundzuege}
\citation{ackermann-consistency-of-arithmetic}
\citation{writing-mathematics}
\citation{grundlagen-german-english-edition-volume-one-one}
\bibdata{herbrandbib}
\bibcite{ackermann-1925}{\citeauthoryear {Ackermann\ackermannindex }{1925}}
\bibcite{ackermann-mengentheoretische-Begruendung}{\citeauthoryear {Ackermann\ackermannindex }{1938}}
\bibcite{ackermann-consistency-of-arithmetic}{\citeauthoryear {Ackermann\ackermannindex }{1940}}
\bibcite{philosophische-aufsaetze-zeller}{\citeauthoryear {Anon}{1887}}
\bibcite{anon-1899}{\citeauthoryear {Anon}{1899}}
\bibcite{chelsea-monographies}{\citeauthoryear {Anon}{1972}}
\citation{weyl-1918}
\bibcite{asserepsilon}{\citeauthoryear {Asser{\index {Asser, G\"unter (1926--2015)}}}{1957}}
\bibcite{behmann}{\citeauthoryear {Behmann}{1922}}
\citation{behmann-correction}
\bibcite{behmann-correction}{\citeauthoryear {Behmann}{1923}}
\citation{behmann}
\bibcite{bellclassicalepsilon}{\citeauthoryear {Bell{\index {Bell, John Lane (*1945)}}}{1993a}}
\bibcite{bellintuitionisticepsilon}{\citeauthoryear {Bell{\index {Bell, John Lane (*1945)}}}{1993b}}
\bibcite{logicaloptions}{\citeauthoryear {Bell{\index {Bell, John Lane (*1945)}} \bgroup \&al.\egroup }{2001}}
\bibcite{philosophy-of-mathematics-first}{\citeauthoryear {Benacerraf \bgroup \&\ \egroup Putnam}{1964}}
\citation{philosophy-of-mathematics-second}
\bibcite{philosophy-of-mathematics-second}{\citeauthoryear {Benacerraf \bgroup \&\ \egroup Putnam}{1983}}
\citation{philosophy-of-mathematics-first}
\bibcite{logiktexte}{\citeauthoryear {Berka \bgroup \&\ \egroup Kreiser}{1973}}
\bibcite{bernays-questions-methodologiques-actuelles-german-manuscript}{\citeauthoryear {Bernays{\index {Bernays, Paul (1888--1977)}}}{1938}}
\citation{bernays-1986}
\citation{bernays-questions-methodologiques-actuelles}
\@writefile{toc}{\contentsline {section}{References}{97}}
\bibcite{bernays-questions-methodologiques-actuelles}{\citeauthoryear {Bernays{\index {Bernays, Paul (1888--1977)}}}{1941}}
\citation{bernays-questions-methodologiques-actuelles-german-manuscript}
\citation{gonseth-1941}
\bibcite{bernays-1986}{\citeauthoryear {Bernays{\index {Bernays, Paul (1888--1977)}}}{1986}}
\bibcite{bernays-Hs973:41}{\citeauthoryear {Bernays{\index {Bernays, Paul (1888--1977)}} \bgroup \&\ \egroup Hasen{\discretionary {-}{}{}}jaeger{\index {Hasenjaeger, Gisbert (1919--2006)}}}{1952(?)}}
\citation{bernays-1986}
\citation{swp-2017-01}
\bibcite{deduction}{\citeauthoryear {Bibel \bgroup \&\ \egroup Schmitt}{1998}}
\bibcite{logicofchoice}{\citeauthoryear {Blass \bgroup \&\ \egroup Gurevich}{2000}}
\bibcite{bourbaki-set-theory-results-1st-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1939}}
\citation{churchbourbaki}
\citation{bourbaki-set-theory-results-2nd-edn}
\bibcite{bourbaki}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1939\unhbox \voidb@x \hbox {}{ff.}}}
\bibcite{bourbaki-set-theory-results-2nd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1951}}
\citation{bourbaki-set-theory-results-1st-edn}
\citation{bourbaki-set-theory-results-3rd-edn}
\bibcite{bourbaki-set-theory-chapter-1-2-1st-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1954}}
\citation{bourbaki-set-theory-chapter-1-2-2nd-edn}
\bibcite{bourbaki-set-theory-chapter-3-1st-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1956}}
\citation{bourbaki-set-theory-chapter-3-2nd-edn}
\bibcite{bourbaki-set-theory-chapter-4-1st-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1958a}}
\citation{bourbaki-set-theory-chapter-4-2nd-edn}
\bibcite{bourbaki-set-theory-results-3rd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1958b}}
\citation{bourbaki-set-theory-results-2nd-edn}
\citation{bourbaki-set-theory-results-4th-edn}
\bibcite{bourbaki-set-theory-chapter-1-2-2nd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1960}}
\citation{bourbaki-set-theory-chapter-1-2-1st-edn}
\citation{bourbaki-set-theory-chapter-1-2-3rd-edn}
\bibcite{bourbaki-set-theory-results-4th-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1964}}
\citation{bourbaki-set-theory-results-3rd-edn}
\citation{bourbaki-set-theory-results-5th-edn}
\bibcite{bourbaki-set-theory-chapter-4-2nd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1966a}}
\citation{bourbaki-set-theory-chapter-4-1st-edn}
\citation{bourbaki-english}
\bibcite{bourbaki-set-theory-chapter-1-2-3rd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1966b}}
\citation{bourbaki-set-theory-chapter-1-2-2nd-edn}
\citation{bourbaki-english}
\bibcite{bourbaki-set-theory-chapter-3-2nd-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1967}}
\citation{bourbaki-set-theory-chapter-3-1st-edn}
\citation{bourbaki-english}
\bibcite{bourbaki-english}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1968a}}
\citation{bourbaki-set-theory-chapter-1-2-3rd-edn}
\citation{bourbaki-set-theory-chapter-1-2-3rd-edn}
\citation{bourbaki-set-theory-chapter-3-2nd-edn}
\citation{bourbaki-set-theory-chapter-4-2nd-edn}
\citation{bourbaki-set-theory-results-5th-edn}
\bibcite{bourbaki-set-theory-results-5th-edn}{\citeauthoryear {Bourbaki{\index {Bourbaki, Nicolas (pseudonym)}}}{1968b}}
\citation{bourbaki-set-theory-results-4th-edn}
\citation{bourbaki-english}
\bibcite{ftpwien}{\citeauthoryear {Caferra \bgroup \&\ \egroup Salzer}{2000}}
\bibcite{churchbourbaki}{\citeauthoryear {Church{\index {Church, Alonzo (1903--1995)}}}{1946}}
\citation{bourbaki-set-theory-results-1st-edn}
\bibcite{Prolog}{\citeauthoryear {Clocksin \bgroup \&\ \egroup Mellish}{2003}}
\bibcite{cohn-1965}{\citeauthoryear {Cohn}{1965}}
\citation{cohn-1981}
\bibcite{cohn-1981}{\citeauthoryear {Cohn}{1981}}
\citation{cohn-1965}
\bibcite{combinatory-logic-I}{\citeauthoryear {Curry{\index {Curry, Haskell B. (1900--1982)}} \bgroup \&al.\egroup }{1958}}
\citation{combinatory-logic-II}
\bibcite{combinatory-logic-II}{\citeauthoryear {Curry{\index {Curry, Haskell B. (1900--1982)}} \bgroup \&al.\egroup }{1972}}
\citation{combinatory-logic-I}
\bibcite{dedekind-keferstein-german}{\citeauthoryear {Dedekind{\dedekindindex }}{1890a}}
\citation{dedekind-keferstein-english}
\bibcite{dedekind-keferstein-english}{\citeauthoryear {Dedekind{\dedekindindex }}{1890b}}
\citation{heijenoort-source-book}
\citation{dedekind-keferstein-german}
\bibcite{vext}{\citeauthoryear {DeVidi}{1995}}
\bibcite{wittgenstein-lectures-foundations-of-mathematics}{\citeauthoryear {Diamond{\index {Wittgenstein, Ludwig (1889--1951)}}}{1976}}
\citation{wittgenstein-lectures-diamond}
\bibcite{wittgenstein-lectures-diamond}{\citeauthoryear {Diamond{\index {Wittgenstein, Ludwig (1889--1951)}}}{1978}}
\citation{wittgenstein-lectures-foundations-of-mathematics}
\bibcite{eleventhTABLEAUtwo}{\citeauthoryear {Egly \bgroup \&\ \egroup Ferm{\unprotectedue ller}}{2002}}
\bibcite{ewald-1996}{\citeauthoryear {Ewald}{1996}}
\bibcite{fittingepsilon}{\citeauthoryear {Fitting}{1975}}
\bibcite{Fitting90}{\citeauthoryear {Fitting}{1990}}
\citation{fitting}
\bibcite{fitting}{\citeauthoryear {Fitting}{1996}}
\citation{Fitting90}
\bibcite{fittingquantifiedmodal}{\citeauthoryear {Fitting}{1999}}
\bibcite{frege-grundgesetze}{\citeauthoryear {Frege\index {Frege, Gottlob (1848--1925)}}{1893/1903}}
\citation{frege-grundgesetze-furth}
\citation{frege-grundgesetze-ebert}
\bibcite{frege-grundgesetze-furth}{\citeauthoryear {Frege\index {Frege, Gottlob (1848--1925)}}{1964}}
\citation{frege-grundgesetze}
\bibcite{frege-grundgesetze-ebert}{\citeauthoryear {Frege\index {Frege, Gottlob (1848--1925)}}{2013}}
\citation{frege-grundgesetze}
\bibcite{fried-canossa}{\citeauthoryear {Fried}{2012}}
\bibcite{intuitionisticsemantics}{\citeauthoryear {Gabbay{\index {Gabbay, Dov (*1945)}}}{1981}}
\bibcite{fac/GabbayP02}{\citeauthoryear {Gabbay \bgroup \&\ \egroup Pitts}{2002}}
\bibcite{handbook-of-the-history-of-logic}{\citeauthoryear {Gabbay{\index {Gabbay, Dov (*1945)}} \bgroup \&\ \egroup Woods}{2004\unhbox \voidb@x \hbox {}{ff.}}}
\bibcite{gentzen}{\citeauthoryear {Gentzen{\index {Gentzen, Gerhard (1909--1945)}}}{1935}}
\citation{logiktexte}
\citation{gentzen-collected}
\bibcite{gentzen-collected}{\citeauthoryear {Gentzen{\index {Gentzen, Gerhard (1909--1945)}}}{1969}}
\bibcite{ahrendtgiese}{\citeauthoryear {Giese \bgroup \&\ \egroup Ahrendt}{1999}}
\citation{eighthTABLEAUninetynine}
\bibcite{writing-mathematics}{\citeauthoryear {Gillman}{1987}}
\bibcite{goedel}{\citeauthoryear {G{\unprotectedoe de{\index {Goedel, Kurt@G\"odel, Kurt (1906--1978)}}l}}{1931}}
\citation{goedelcollected}
\citation{heijenoort-source-book}
\citation{goedel-meltzer}
\bibcite{goedel-meltzer}{\citeauthoryear {G{\unprotectedoe de{\index {Goedel, Kurt@G\"odel, Kurt (1906--1978)}}l}}{1962}}
\citation{goedel}
\bibcite{goedelcollected}{\citeauthoryear {G{\unprotectedoe de{\index {Goedel, Kurt@G\"odel, Kurt (1906--1978)}}l}}{1986ff.}}
\bibcite{review-herbrand-ecrits-logiques}{\citeauthoryear {Goldfarb{\index {Goldfarb, Warren (*1949)}}}{1970}}
\citation{herbrand-ecrits-logiques}
\bibcite{gonseth-1941}{\citeauthoryear {Gonseth}{1941}}
\bibcite{heijenoort-source-book}{\citeauthoryear {Heijenoort{\index {Heijenoort, Jean van (1912--1986)}}}{1971}}
\bibcite{heijenoort-oeuvre-herbrand}{\citeauthoryear {Heijenoort{\index {Heijenoort, Jean van (1912--1986)}}}{1982}}
\citation{herbrand-symposium}
\citation{heijenoort-work-herbrand}
\bibcite{heijenoort-work-herbrand}{\citeauthoryear {Heijenoort{\index {Heijenoort, Jean van (1912--1986)}}}{1986a}}
\citation{heijenoort-selected-essays}
\citation{heijenoort-oeuvre-herbrand}
\bibcite{heijenoort-selected-essays}{\citeauthoryear {Heijenoort{\index {Heijenoort, Jean van (1912--1986)}}}{1986b}}
\bibcite{helmholtz-tatsachen-in-der-wahrnehmung}{\citeauthoryear {Helmholtz}{1879}}
\citation{helmholtz-reprint}
\bibcite{helmholtz-zaehlen}{\citeauthoryear {Helmholtz}{1887}}
\citation{philosophische-aufsaetze-zeller}
\citation{helmholtz-erkenntnistheorie}
\citation{helmholtz-reprint}
\bibcite{helmholtz-erkenntnistheorie}{\citeauthoryear {Helmholtz}{1921}}
\bibcite{helmholtz-reprint}{\citeauthoryear {Helmholtz}{1959}}
\citation{helmholtz-tatsachen-in-der-wahrnehmung}
\citation{helmholtz-zaehlen}
\bibcite{herbrand-ecrits-logiques}{\citeauthoryear {Herbran{\index {Herbrand, Jacques (1908--1931)}}d}{1968}}
\citation{review-herbrand-ecrits-logiques}
\citation{herbrand-logical-writings}
\bibcite{herbrand-logical-writings}{\citeauthoryear {Herbran{\index {Herbrand, Jacques (1908--1931)}}d}{1971}}
\citation{herbrand-ecrits-logiques}
\citation{herbrand-ecrits-logiques}
\bibcite{hermesepsilon}{\citeauthoryear {Hermes{\index {Hermes, Hans (1912--2003)}}}{1965}}
\bibcite{heusingerepsilon}{\citeauthoryear {Heusinger}{1997}}
\bibcite{schaper-1898/99}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1898/99a}}
\citation{hilbert-1898/99}
\citation{hilbert-1898/99}
\citation{hilbert-2004}
\bibcite{hilbert-1898/99}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1898/99b}}
\citation{schaper-1898/99}
\citation{hilbert-2004}
\bibcite{grundlagen-der-geometrie}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1899}}
\citation{anon-1899}
\citation{hilbert-2004}
\citation{grundlagen-der-geometrie-siebte}
\citation{grundlagen-der-geometrie-neunte}
\citation{grundlagen-der-geometrie-neunte}
\citation{grundlagen-der-geometrie-zehnte}
\citation{grundlagen-der-geometrie-elfte}
\citation{principes-fondamentaux-de-la-geometrie}
\citation{foundations-of-geometry}
\citation{foundations-of-geometry-second}
\bibcite{hilbert-zahlbegriff}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1900a}}
\citation{grundlagen-der-geometrie-dritte}
\citation{grundlagen-der-geometrie-dritte}
\citation{grundlagen-der-geometrie-vierte}
\citation{grundlagen-der-geometrie-fuenfte}
\citation{grundlagen-der-geometrie-sechste}
\citation{grundlagen-der-geometrie-siebte}
\bibcite{principes-fondamentaux-de-la-geometrie}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1900b}}
\citation{grundlagen-der-geometrie}
\bibcite{hilbert-1900}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1900c}}
\citation{hilbert-23-problems}
\citation{ewald-1996}
\bibcite{foundations-of-geometry}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1902a}}
\citation{grundlagen-der-geometrie}
\bibcite{hilbert-23-problems}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1902b}}
\citation{hilbert-1900}
\bibcite{grundlagen-der-geometrie-zweite}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1903}}
\citation{grundlagen-der-geometrie}
\bibcite{hilbert-1904-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1904a}}
\citation{born-1904-summer-lecture}
\bibcite{born-1904-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1904b}}
\citation{hilbert-1904-summer-lecture}
\bibcite{hilbert-grundlagen-logik}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1905a}}
\citation{dritter-mathematiker}
\citation{grundlagen-der-geometrie-dritte}
\citation{grundlagen-der-geometrie-dritte}
\citation{grundlagen-der-geometrie-vierte}
\citation{grundlagen-der-geometrie-fuenfte}
\citation{grundlagen-der-geometrie-sechste}
\citation{grundlagen-der-geometrie-siebte}
\citation{heijenoort-source-book}
\bibcite{hilbert-1905-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1905b}}
\citation{born-1905-summer-lecture}
\citation{hellinger-1905-summer-lecture}
\bibcite{born-1905-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1905c}}
\citation{hilbert-1905-summer-lecture}
\bibcite{hellinger-1905-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1905d}}
\citation{hilbert-1905-summer-lecture}
\bibcite{grundlagen-der-geometrie-dritte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1909}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-zweite}
\citation{hilbert-zahlbegriff}
\citation{hilbert-grundlagen-logik}
\bibcite{grundlagen-der-geometrie-vierte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1913}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-dritte}
\bibcite{hilbert-1917-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1917a}}
\citation{goeb-1917-summer-lecture}
\bibcite{goeb-1917-summer-lecture}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1917b}}
\citation{hilbert-1917-summer-lecture}
\bibcite{hilbert-1921/22}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1921/22}}
\citation{kneser-1921/22}
\bibcite{grundlagen-der-geometrie-fuenfte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1922}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-vierte}
\citation{grundlagen-der-geometrie-vierte}
\bibcite{hilbert-1922/23}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1922/23}}
\citation{kneser-1922/23}
\bibcite{logischegrundlagen}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1923a}}
\citation{ewald-1996}
\bibcite{grundlagen-der-geometrie-sechste}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1923b}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-fuenfte}
\bibcite{unendliche}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1926}}
\citation{grundlagen-der-geometrie-siebte}
\citation{heijenoort-source-book}
\bibcite{grundlagenvortrag}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1928}}
\citation{grundlagen-der-geometrie-siebte}
\citation{heijenoort-source-book}
\bibcite{probleme-grundlegung}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1930a}}
\citation{grundlagen-der-geometrie-siebte}
\bibcite{grundlagen-der-geometrie-siebte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1930b}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-sechste}
\citation{unendliche}
\citation{grundlagenvortrag}
\citation{probleme-grundlegung}
\bibcite{grundlagen-der-geometrie-achte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1956}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-siebte}
\bibcite{grundlagen-der-geometrie-neunte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1962}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-achte}
\bibcite{grundlagen-der-geometrie-zehnte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1968}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-neunte}
\bibcite{foundations-of-geometry-second}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1971}}
\citation{foundations-of-geometry}
\citation{grundlagen-der-geometrie-zehnte}
\bibcite{grundlagen-der-geometrie-elfte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{1972}}
\citation{grundlagen-der-geometrie}
\citation{grundlagen-der-geometrie-zehnte}
\bibcite{hilbert-2004}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt}{2004}}
\bibcite{grundzuege}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Ackermann\ackermannindex }{1928}}
\citation{grundzuege-vierte}
\bibcite{grundzuege-zweite}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Ackermann\ackermannindex }{1938}}
\citation{grundzuege}
\citation{grundzuege-zweite-english}
\bibcite{grundzuege-dritte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Ackermann\ackermannindex }{1949}}
\citation{grundzuege}
\citation{grundzuege-zweite}
\bibcite{grundzuege-zweite-english}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Ackermann\ackermannindex }{1950}}
\citation{grundzuege-zweite}
\bibcite{grundzuege-vierte}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Ackermann\ackermannindex }{1959}}
\citation{grundzuege}
\citation{grundzuege-dritte}
\bibcite{grundlagen-first-edition-volume-one}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{1934}}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-one}
\citation{grundlagen-german-english-edition-volume-one-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\citation{grundlagen-german-english-edition-volume-one-three}
\bibcite{grundlagen-first-edition-volume-two}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{1939}}
\citation{grundlagen-second-edition-volume-two}
\bibcite{grundlagen-second-edition-volume-one}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{1968}}
\citation{grundlagen-first-edition-volume-one}
\citation{grundlagen-german-english-edition-volume-one-one}
\citation{grundlagen-german-english-edition-volume-one-one}
\citation{grundlagen-german-english-edition-volume-one-two}
\citation{grundlagen-german-english-edition-volume-one-three}
\bibcite{grundlagen-second-edition-volume-two}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{1970}}
\citation{grundlagen-first-edition-volume-two}
\bibcite{grundlagen-german-english-edition-volume-one-one}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{2017a}}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\bibcite{grundlagen-german-english-edition-volume-one-two}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{2017b}}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\bibcite{grundlagen-german-english-edition-volume-one-three}{\citeauthoryear {Hilbe{\index {Hilbert, David (1862--1943)}}rt \bgroup \&\ \egroup Bernays{\index {Bernays, Paul (1888--1977)}}}{2017c}}
\citation{grundlagen-second-edition-volume-one}
\citation{grundlagen-first-edition-volume-one}
\bibcite{hintikkaquantification}{\citeauthoryear {Hintikka{\index {Hintikka, K. Jaakko J. (1929--2015)}}}{1974}}
\bibcite{hintikkaprinciples}{\citeauthoryear {Hintikka{\index {Hintikka, K. Jaakko J. (1929--2015)}}}{1996}}
\bibcite{weakaxiomofchoice}{\citeauthoryear {Howard{\index {Howard, Paul (*1943)}} \bgroup \&\ \egroup Rubin{\index {Rubin, Jean E. (1926--2002)}}}{1998}}
\bibcite{kanger}{\citeauthoryear {Kanger}{1963}}
\citation{siekmannwrightson}
\bibcite{KrVA}{\citeauthoryear {Kan{\index {Kant, Immanuel (1724--1804)}}t}{1781}}
\citation{KdrV-English}
\bibcite{KdrV}{\citeauthoryear {Kan{\index {Kant, Immanuel (1724--1804)}}t}{1787}}
\citation{KrVA}
\citation{KdrV-English}
\bibcite{KdrV-English}{\citeauthoryear {Kan{\index {Kant, Immanuel (1724--1804)}}t}{2008}}
\citation{KdrV}
\citation{KrVA}
\bibcite{kennedypeanoworks}{\citeauthoryear {Kennedy}{1973}}
\bibcite{kennedypeanolife-obsolete}{\citeauthoryear {Kennedy}{1980}}
\citation{kennedypeanolife}
\bibcite{kennedypeanolife}{\citeauthoryear {Kennedy}{2002}}
\citation{kennedypeanolife-obsolete}
\bibcite{kneser-1921/22}{\citeauthoryear {Kneser}{1921/22}}
\citation{hilbert-1921/22}
\bibcite{kneser-1922/23}{\citeauthoryear {Kneser}{1922/23}}
\citation{hilbert-1922/23}
\bibcite{kohlhasetableauupdated}{\citeauthoryear {Kohlhase}{1998}}
\citation{deduction}
\bibcite{Kow74}{\citeauthoryear {Kowalski{\index {Kowalski, Robert A. (*1941)}}}{1974}}
\citation{IFIP-1974}
\bibcite{dritter-mathematiker}{\citeauthoryear {Krazer}{1905}}
\bibcite{lambert-1764}{\citeauthoryear {Lambert}{1764}}
\bibcite{leisenring}{\citeauthoryear {Leisenring{\index {Leisenring, {Al(bert) C.} (*1939(?))}}}{1969}}
\bibcite{productmodel}{\citeauthoryear {Mattick \bgroup \&\ \egroup Wirth{\index {Wirth, Claus-Peter (*1963)}}}{1999}}
\bibcite{menzler-gentzen-german}{\citeauthoryear {Menzler-Trott{\index {Menzler-Trott, Eckart (1953--2017)}}}{2001}}
\citation{menzler-gentzen-english}
\bibcite{menzler-gentzen-english}{\citeauthoryear {Menzler-Trott{\index {Menzler-Trott, Eckart (1953--2017)}}}{2007}}
\citation{menzler-gentzen-german}
\bibcite{meyervioldiss}{\citeauthoryear {Meyer-Viol}{1995}}
\bibcite{miller}{\citeauthoryear {Miller}{1992}}
\bibcite{Moore_Wirth_Automation_of_Mathematical_Induction_2013}{\citeauthoryear {Moore{\mooreindex } \bgroup \&\ \egroup Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2014}}
\citation{Moore_Wirth_Automation_of_Mathematical_Induction_2017}
\bibcite{Moore_Wirth_Automation_of_Mathematical_Induction_2017}{\citeauthoryear {Moore{\mooreindex } \bgroup \&\ \egroup Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2017}}
\citation{Moore_Wirth_Automation_of_Mathematical_Induction_2013}
\bibcite{eighthTABLEAUninetynine}{\citeauthoryear {Murray}{1999}}
\bibcite{peanogenocchi}{\citeauthoryear {Peano{\peanoindex }}{1884}}
\citation{peanogenocchigerman}
\bibcite{peanoiota}{\citeauthoryear {Peano{\peanoindex }}{1890}}
\citation{asserpeano}
\bibcite{peanoiotabar}{\citeauthoryear {Peano{\peanoindex }}{1896\unhbox \voidb@x \hbox {}{f.}}}
\citation{kennedypeanoworks}
\citation{peanoiotabargerman}
\bibcite{peanogenocchigerman}{\citeauthoryear {Peano{\peanoindex }}{1899a}}
\citation{peanogenocchi}
\bibcite{peanoiotabargerman}{\citeauthoryear {Peano{\peanoindex }}{1899b}}
\citation{peanoiotabar}
\citation{peanogenocchigerman}
\citation{asserpeano}
\bibcite{peanoformulairedemathematiques}{\citeauthoryear {Peano{\peanoindex }}{1901}}
\citation{peanoformulairemathematique}
\bibcite{peanoformulairemathematique}{\citeauthoryear {Peano{\peanoindex }}{1903}}
\citation{peanoformulairedemathematiques}
\citation{peanoformulario}
\bibcite{peanoformulario}{\citeauthoryear {Peano{\peanoindex }}{1908}}
\citation{peanoformulairemathematique}
\bibcite{asserpeano}{\citeauthoryear {Peano{\peanoindex }}{1990}}
\bibcite{peter-1957}{\citeauthoryear {P{\'e}ter{\index {Peter@{P\'eter}, R\'ozsa (i.e.\ Rosa Politzer) (1905--1977)}}}{1957}}
\citation{peter-1967}
\bibcite{peter-1967}{\citeauthoryear {P{\'e}ter{\index {Peter@{P\'eter}, R\'ozsa (i.e.\ Rosa Politzer) (1905--1977)}}}{1967}}
\citation{peter-1957}
\bibcite{dialogprojectantrag}{\citeauthoryear {Pinkal \bgroup \&al.\egroup }{2001}}
\bibcite{prawitzimproved}{\citeauthoryear {Prawitz}{1960}}
\citation{siekmannwrightson}
\bibcite{ML}{\citeauthoryear {Quine\quineindex }{1981}}
\bibcite{IFIP-1974}{\citeauthoryear {Rosenfeld}{1974}}
\bibcite{axiomofchoice}{\citeauthoryear {Rubin{\index {Rubin, Herman (*1926)}} \bgroup \&\ \egroup Rubin{\index {Rubin, Jean E. (1926--2002)}}}{1985}}
\bibcite{denoting}{\citeauthoryear {Russe{\index {Russell, Bertrand (1872--1970)}}ll}{1905}}
\bibcite{mathematicalphilosophy}{\citeauthoryear {Russe{\index {Russell, Bertrand (1872--1970)}}ll}{1919}}
\bibcite{RN95}{\citeauthoryear {Russell \bgroup \&\ \egroup Norvig}{1995}}
\bibcite{jancl}{\citeauthoryear {Schmidt-Samoa{\index {Schmidt-Samoa, Tobias (*1973)}}}{2006}}
\bibcite{schuette60:_beweis}{\citeauthoryear {Sch{\"u}tte{\index {Schuette@Sch\"utte, Kurt (1909--1998)}}}{1960}}
\citation{schuette-1977}
\bibcite{schuette-1977}{\citeauthoryear {Sch{\"u}tte{\index {Schuette@Sch\"utte, Kurt (1909--1998)}}}{1977}}
\citation{schuette60:_beweis}
\bibcite{siekmannwrightson}{\citeauthoryear {Siek{\discretionary {-}{}{}}mann{\siekmannindex } \bgroup \&\ \egroup Wrightson}{1983}}
\bibcite{slater-intensional-logic}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{1994}}
\bibcite{Slater_2002_LogicReformed}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{2002}}
\bibcite{Slater_2007_CompletingRussellsLogic}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{2007a}}
\citation{logic-not-mathematical}
\bibcite{de-mathematisation-of-Logic}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{2007b}}
\bibcite{slater-handbook}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{2009}}
\citation{handbook-of-the-history-of-logic}
\bibcite{logic-not-mathematical}{\citeauthoryear {Slater{\index {Slater, B. Hartley (1936--2016)}}}{2011}}
\bibcite{smullyan}{\citeauthoryear {Smullyan{\index {Smullyan, Raymond M. (1919--2017)}}}{1968}}
\citation{Smullyan95}
\bibcite{Smullyan95}{\citeauthoryear {Smullyan{\index {Smullyan, Raymond M. (1919--2017)}}}{1995}}
\citation{smullyan}
\bibcite{herbrand-symposium}{\citeauthoryear {Stern}{1982}}
\bibcite{referring}{\citeauthoryear {Strawson}{1950}}
\bibcite{turing-entscheidungsproblem}{\citeauthoryear {Turing}{1936\unhbox \voidb@x \hbox {}{f.}}}
\citation{turing-entscheidungsproblem-correction}
\bibcite{turing-entscheidungsproblem-correction}{\citeauthoryear {Turing}{1937}}
\citation{turing-entscheidungsproblem}
\bibcite{gabbay:nomu-jv}{\citeauthoryear {Urban \bgroup \&al.\egroup }{2004}}
\bibcite{wallen}{\citeauthoryear {Wallen}{1990}}
\bibcite{weyl-1918}{\citeauthoryear {Wey{\index {Weyl, Hermann (1885--1955)}}l}{1918}}
\citation{chelsea-monographies}
\citation{weyl-1918-english}
\bibcite{weyl-1918-english}{\citeauthoryear {Wey{\index {Weyl, Hermann (1885--1955)}}l}{1994}}
\citation{weyl-1918}
\bibcite{PM}{\citeauthoryear {Whitehead{\whiteheadindex } \bgroup \&\ \egroup Russe{\index {Russell, Bertrand (1872--1970)}}ll}{1910--1913}}
\bibcite{wirthgreen}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{1998}}
\citation{ftpwien}
\bibcite{wirthhilbertepsilon}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2002}}
\citation{eleventhTABLEAUtwo}
\bibcite{wirthcardinal}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2004}}
\bibcite{nonpermut}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2006a}}
\citation{wirth-jsc-non-permut}
\bibcite{wirth-hilbert-seki}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2006b}}
\bibcite{wirth-jal}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2008}}
\bibcite{wirth-jsc}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2009}}
\bibcite{wirth-heijenoort}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2012a}}
\bibcite{wirth-jsc-non-permut}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2012b}}
\bibcite{wirth-heijenoort-SEKI}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2014}}
\bibcite{wirth-epsilon-confluent-terminating}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2016}}
\citation{wirth-epsilon-confluent-terminating-ifcolog}
\bibcite{wirth-epsilon-confluent-terminating-ifcolog}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2017a}}
\bibcite{wirth-simplified-epsilon-journal}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2017b}}
\citation{wirth-simplified-epsilon-seki}
\bibcite{wirth-simplified-epsilon-seki}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2017c}}
\bibcite{swp-2017-01}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2021a}}
\citation{bernays-Hs973:41}
\bibcite{wirth-sieb}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}}}{2021b}}
\citation{swp-2017-01}
\bibcite{herbrand-handbook}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&al.\egroup }{2009}}
\citation{handbook-of-the-history-of-logic}
\bibcite{SR--2009--01}{\citeauthoryear {Wirth{\index {Wirth, Claus-Peter (*1963)}} \bgroup \&al.\egroup }{2014}}
\@writefile{toc}{\contentsline {section}{Index}{113}}