This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25) 28 MAY 2024 08:01 entering extended mode **all (./all.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (./body.tex (/Users/cp/WWW/SEKI/forauthors/seki-deckblatt-5.tex CP's seki-deckblatt-5.tex, Version 3.15, 2013/08/19 --- To be used for SEKIs since 2011 --- (/Users/cp/svn/hilbertbernays/trunk/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/Users/cp/svn/hilbertbernays/trunk/size12.clo File: size12.clo 2000/05/19 v1.4b Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/Users/cp/svn/hilbertbernays/trunk/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) (/Users/cp/svn/hilbertbernays/trunk/amssymb.sty Package: amssymb 2002/01/22 v2.2d (/Users/cp/svn/hilbertbernays/trunk/amsfonts.sty Package: amsfonts 2001/10/25 v2.2f \@emptytoks=\toks14 \symAMSa=\mathgroup5 \symAMSb=\mathgroup6 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 132. )) (/Users/cp/svn/hilbertbernays/trunk/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/Users/cp/svn/hilbertbernays/trunk/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/Users/cp/svn/hilbertbernays/trunk/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/Users/cp/svn/hilbertbernays/trunk/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: dvips.def on input line 80. (/Users/cp/svn/hilbertbernays/trunk/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/Users/cp/svn/hilbertbernays/trunk/color.cfg File: color.cfg 2004/11/03 v1.1BS1 color configuration of teTeX/TeXLive, change s by Bernd Strieder ) Package color Info: Driver file: dvips.def on input line 125. (/Users/cp/svn/hilbertbernays/trunk/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/Users/cp/svn/hilbertbernays/trunk/fontenc.sty Package: fontenc 2004/02/22 v1.99f Standard LaTeX package (/Users/cp/svn/hilbertbernays/trunk/t1enc.def File: t1enc.def 2004/02/22 v1.99f Standard LaTeX file LaTeX Font Info: Redeclaring font encoding T1 on input line 43. )) (/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex (/Users/cp/svn/hilbertbernays/trunk/url.sty \Urlmuskip=\muskip10 Package: url 2005/06/27 ver 3.2 Verb mode for urls, etc. )) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xy.tex Bootstrap'ing: catcodes, docmode, (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyrecat.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyidioms.tex) Xy-pic version 3.7 <1999/02/16> Copyright (c) 1991-1998 by Kristoffer H. Rose Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, \X@c=\dimen105 \Y@c=\dimen106 \U@c=\dimen107 \D@c=\dimen108 \L@c=\dimen109 \R@c=\dimen110 \Edge@c=\toks16 \X@p=\dimen111 \Y@p=\dimen112 \U@p=\dimen113 \D@p=\dimen114 \L@p=\dimen115 \R@p=\dimen116 \Edge@p=\toks17 \X@origin=\dimen117 \Y@origin=\dimen118 \X@xbase=\dimen119 \Y@xbase=\dimen120 \X@ybase=\dimen121 \Y@ybase=\dimen122 \X@min=\dimen123 \Y@min=\dimen124 \X@max=\dimen125 \Y@max=\dimen126 \lastobjectbox@=\box26 \zerodotbox@=\box27 \almostz@=\dimen127 direction, \d@X=\dimen128 \d@Y=\dimen129 \K@=\count87 \KK@=\count88 \Direction=\count89 \K@dXdY=\dimen130 \K@dYdX=\dimen131 \xyread@=\read1 \xywrite@=\write3 \csp@=\count90 \quotPTK@=\dimen132 utility macros; pictures: \xy, positions, \swaptoks@@=\toks18 \connectobjectbox@@=\box28 objects, \styletoks@=\toks19 decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyall.tex Xy-pic option: All features v.3.3 (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, \crv@cnt@=\count91 \crvpts@=\toks20 \splinebox@=\box29 \splineval@=\dimen133 \splinedepth@=\dimen134 \splinetol@=\dimen135 \splinelength@=\dimen136 circles, \L@=\dimen137 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyline.tex Xy-pic option: Line styles extension v.3.6 \xylinethick@=\dimen138 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xymatrix.tex Xy-pic option: Matrix feature v.3.4 \Row=\count92 \Col=\count93 \queue@=\toks21 \queue@@=\toks22 \qcount@=\count94 \qcount@@=\count95 \matrixsize@=\count96 loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/rotating.sty Package: rotating 1997/09/26 v2.13 Rotation package (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/ifthen.sty Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC) ) \c@r@tfl@t=\count97 \rot@float@box=\box30 ) \c@theorem=\count98 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/header.tex (/Users/cp/svn/hilbertbernays/trunk/headerhot.tex \disp=\skip43 \textwidthminustwomm=\skip44 \textwidthminushalfcm=\skip45 \textwidthminusonecm=\skip46 \textwidthminustwocm=\skip47 \textwidthminustwoandaquartercm=\skip48 \textwidthminusfourcm=\skip49 \textwidthminussixcm=\skip50 \yinibox=\box31 ) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex)) (/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex) (/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerframe.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerepsi.tex) (/Users/cp/svn/hilbertbernays/trunk/quotation.tex) (/Users/cp/svn/hilbertbernays/trunk/hbdictionary.tex) (/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex) (/Users/cp/Library/TeX/texmf/tex/latex/latexlib/header12pt.tex) (/Users/cp/svn/hilbertbernays/trunk/named.sty) (/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex) (/Users/cp/svn/hilbertbernays/trunk/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) \@indexfile=\write4 \openout4 = `all.idx'. Writing index file all.idx (./all.aux) \openout1 = `all.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 293. LaTeX Font Info: ... okay on input line 293. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 293. LaTeX Font Info: ... okay on input line 293. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 293. LaTeX Font Info: ... okay on input line 293. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 293. LaTeX Font Info: ... okay on input line 293. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 293. LaTeX Font Info: ... okay on input line 293. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 293. LaTeX Font Info: ... okay on input line 293. File: dfki.eps Graphic file (type eps) File: ju.eps Graphic file (type eps) File: uds.eps Graphic file (type eps) File: seki-robbi.eps Graphic file (type eps) File: leibniz.eps Graphic file (type eps) LaTeX Font Info: Try loading font information for T1+cmtt on input line 294. (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 294. (/Users/cp/svn/hilbertbernays/trunk/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for U+msa on input line 294. (/Users/cp/svn/hilbertbernays/trunk/umsa.fd File: umsa.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 294. (/Users/cp/svn/hilbertbernays/trunk/umsb.fd File: umsb.fd 2002/01/19 v2.2g AMS font definitions ) LaTeX Font Info: Try loading font information for T1+cmss on input line 294. (/Users/cp/svn/hilbertbernays/trunk/t1cmss.fd File: t1cmss.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) Underfull \vbox (badness 10000) has occurred while \output is active [] [-99 ] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] Underfull \hbox (badness 10000) in paragraph at lines 294--294 [] [-98] Underfull \hbox (badness 1107) in paragraph at lines 342--342 \T1/cmr/m/n/10.95 Prov-ing; [][]'s $\OML/cmm/m/it/10.95 "$\T1/cmr/m/n/10.95 -Op erator; \T1/cmr/m/sc/10.95 Henkin \T1/cmr/m/n/10.95 Quan-tifi-ca-tion; IF Logic ; []'s [] [1 ] (./all.toc [2] [3]) \tf@toc=\write5 \openout5 = `all.toc'. [4] LaTeX Font Info: Try loading font information for OMS+cmr on input line 417. (/Users/cp/svn/hilbertbernays/trunk/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 417. [5 ] [6] Underfull \vbox (badness 6300) has occurred while \output is active [] [7] [8] [9] [10 ] [11] [12] [13] [14] [15] [16] [17] [18] [19] Underfull \vbox (badness 10000) has occurred while \output is active [] [20] Overfull \hbox (2.58801pt too wide) in paragraph at lines 2118--2126 \T1/cmr/m/n/12 first elab-o-rated in the second vol-ume of \T1/cmr/m/sc/12 Hilb ert--[]\T1/cmr/m/n/12 ' []\T1/cmr/m/it/12 Founda-tions of Mathema- [] [21] Overfull \hbox (2.71712pt too wide) in paragraph at lines 2203--2212 \T1/cmr/m/n/12 the foun-da-tional and proof-theoretic con-tri-bu-tions of []\T1 /cmr/m/sc/12 David Hilbert \T1/cmr/m/n/12 and his mathematical- [] Underfull \vbox (badness 1484) has occurred while \output is active [] [22] [23] Overfull \hbox (3.3508pt too wide) in paragraph at lines 2373--2407 []\T1/cmr/m/n/12 On the other hand, rewrit-ing with ($\OML/cmm/m/it/12 "[]$\T1/ cmr/m/n/12 ), ($\OML/cmm/m/it/12 "[]$\T1/cmr/m/n/12 ) \T1/cmr/m/it/12 above \T1 /cmr/m/n/12 modal op-er-a-tors is un-crit-i-cal: [] [] [24] LaTeX Font Info: Font shape `OMS/cmr/m/it' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 2502. [25] [26] Underfull \vbox (badness 10000) has occurred while \output is active [] [27] [28] Overfull \hbox (4.44449pt too wide) in paragraph at lines 3439--3475 []$ [] [29] [30] [31] [32] Underfull \vbox (badness 10000) has occurred while \output is active [] [33] Overfull \hbox (0.88141pt too wide) in paragraph at lines 4109--4116 \T1/cmr/m/n/12 via vari-ables --- in our frame-work, [][]'s $\OML/cmm/m/it/12 "$ \T1/cmr/m/n/12 be-comes prac-ti-cally fea-si-ble for the first time. [] [34] Overfull \hbox (2.32715pt too wide) in paragraph at lines 4164--4164 []\T1/cmr/bx/n/14.4 Instantiating []Choice-Conditioned Vari-ables (``$\OML/cmm/ m/it/14.4 "$\T1/cmr/bx/n/14.4 -Substitution'') [] [35] [36] Overfull \hbox (1.65144pt too wide) in paragraph at lines 4543--4553 $\OMS/cmsy/m/n/12 :[]f[][][]gf[][][]gf[][]\OT1/cmss/m/n/12 p\OMS/cmsy/m/n/12 g [][]f[][][]gf[][][]gf[][]\OT1/cmss/m/n/12 p\OMS/cmsy/m/n/12 g$\T1/cmr/m/n/12 , [] [37] [38] [39 ] [40] [41] [42] Overfull \hbox (2.31137pt too wide) in paragraph at lines 5273--5278 [][][]\T1/cmr/m/it/12 If $\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P[]; N[]\OT1/cmr/m/ n/12 )$ \T1/cmr/m/it/12 is a con-sis-tent posi-tive/ne-ga-tive vari-able-con-di -tion and an \T1/cmr/m/n/12 [\T1/cmr/m/it/12 weak\T1/cmr/m/n/12 ] [] Overfull \hbox (0.37332pt too wide) in paragraph at lines 5273--5278 \T1/cmr/m/it/12 ex-ten-sion of $[]$, then $\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P ; N\OT1/cmr/m/n/12 )$ \T1/cmr/m/it/12 is a con-sis-tent posi-tive/ne-ga-tive va ri-able-con-di-tion as well. [] [43] [44] Overfull \hbox (1.93665pt too wide) in paragraph at lines 5596--5600 \T1/cmr/m/n/12 Afterglobal appli-ca-tionof a $\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P; N\OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 -substitution$\OML/cmm/m/it/12 ^^[$\T1/cm r/m/n/12 , we now have to up-date both$\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P; N\ OT1/cmr/m/n/12 )$\T1/cmr/m/n/12 and$\OML/cmm/m/it/12 C$\T1/cmr/m/n/12 : [] [45] [46] [47 ] Overfull \hbox (3.56828pt too wide) in paragraph at lines 5863--5887 \T1/cmr/m/n/12 which requires our posi-tive/ne-ga-tive vari-able-con-di-tion $\ OT1/cmr/m/n/12 (\OML/cmm/m/it/12 P; N\OT1/cmr/m/n/12 )$ \T1/cmr/m/n/12 to con-t ain $\OT1/cmr/m/n/12 ([]\OML/cmm/m/it/12 ; []\OT1/cmr/m/n/12 )$ \T1/cmr/m/n/12 and $\OT1/cmr/m/n/12 ([]\OML/cmm/m/it/12 ; []\OT1/cmr/m/n/12 )$ [] Underfull \vbox (badness 10000) has occurred while \output is active [] [48] Underfull \vbox (badness 10000) has occurred while \output is active [] [49] Underfull \vbox (badness 10000) has occurred while \output is active [] [50] [51] [52] [53] [54] [55] LaTeX Font Info: Font shape `U/lasy/b/n' in size <8> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 6994. LaTeX Font Info: Font shape `U/lasy/b/n' in size <6> not available (Font) Font shape `U/lasy/m/n' tried instead on input line 6994. [56] Overfull \hbox (4.07867pt too wide) in paragraph at lines 7070--7076 []$[]$ \T1/cmr/m/it/12 is $\OT1/cmr/m/n/12 (\OML/cmm/m/it/12 C; []\OT1/cmr/m/n/ 12 )$\T1/cmr/m/it/12 -valid in $\OMS/cmsy/m/n/12 S$\T1/cmr/m/it/12 ; pro-vided that for every []choice type $\OML/cmm/m/it/12 $ \T1/cmr/m/it/12 of $\OML/cmm /m/it/12 C$ \T1/cmr/m/it/12 (cf. Defini- [] [57] [58] [59 ] [60] [61] [62] Overfull \hbox (1.63528pt too wide) in paragraph at lines 7717--7723 []\T1/cmr/m/n/12 Monotonicity: Re-duc-tion is mono-tonic under ex-tended ex-ten -sions of []choice-conditions. [] Overfull \hbox (5.86351pt too wide) in paragraph at lines 7795--7814 [] [] [63] [64] Overfull \hbox (2.46951pt too wide) in paragraph at lines 8087--8111 \T1/cmr/m/n/12 moreover, the for-mer of the two latter for-mu-las sim-pli-fies to $\OMS/cmsy/m/n/12 9[] \OML/cmm/m/it/12 : A[]\OMS/cmsy/m/n/12 f[][][]g [] \O ML/cmm/m/it/12 A[]\OMS/cmsy/m/n/12 f[][][]g$\T1/cmr/m/n/12 , [] [65] [66 ] [67] [68] [69] [70] [71] [72] [73] [74] [75 ] Underfull \vbox (badness 4634) has occurred while \output is active [] [76] [77] Overfull \hbox (1.1104pt too wide) in paragraph at lines 9585--9586 \T1/cmr/m/n/12 meters'') in addition to the argu-ment to which the bound vari- able of the [] [] [78] [79] [80] Underfull \vbox (badness 1755) has occurred while \output is active [] [81] [82] [83 ] Underfull \vbox (badness 10000) has occurred while \output is active [] [84] [85] [86] [87] [88] [89] [90] Underfull \vbox (badness 10000) has occurred while \output is active [] [91] Underfull \vbox (badness 10000) has occurred while \output is active [] [92] [93] Underfull \vbox (badness 10000) has occurred while \output is active [] [94 ] Overfull \hbox (2.5071pt too wide) in paragraph at lines 11856--11866 \T1/cmr/m/n/12 as fol-lows: [] [] [95] [96 ] (./all.bbl Underfull \hbox (badness 2547) in paragraph at lines 112--122 \T1/cmr/m/n/10.95 (cf. [][] \T1/cmr/m/sc/10.95 Bernays[]\T1/cmr/m/n/10.95 , 198 6, p.4[][]), Swiss Fed-eral In-sti-tute of Tech-nology in [][] (ETH [] Underfull \hbox (badness 7030) in paragraph at lines 112--122 \T1/cmr/m/n/10.95 Zurich), [][] (Switzer-land); tran-scribed by the [] Project to the file [] Underfull \hbox (badness 5637) in paragraph at lines 112--122 \T1/cmtt/m/n/10.95 Final-9-09/German/bg16.pdf\T1/cmr/m/n/10.95 , 9pp., in $\T1/ cmtt/m/n/10.95 http : / / www . phil . cmu . edu / projects / bernays / [] [97] Underfull \hbox (badness 1286) in paragraph at lines 146--167 \T1/cmr/m/n/10.95 inter-esting draft for [] and []' ``[]Grund-lagen der Ma-the- ma-tik''. Un-pub- [] Underfull \hbox (badness 1874) in paragraph at lines 146--167 \T1/cmr/m/n/10.95 Swiss Fed-eral In-sti-tute of Tech-nology in [][] (ETH Zurich ), [][] (Switzer-land). [] [98] [99] [100] [101] [102] [103] [104] Underfull \hbox (badness 2884) in paragraph at lines 986--992 \T1/cmr/m/it/10.95 ple-menten von Dr. []\T1/cmr/m/sc/10.95 Paul []\T1/cmr/m/n/1 0.95 . B. G. Teub-ner Verlag[]-gesellschaft, Stutt-gart. [] [105] Underfull \hbox (badness 1067) in paragraph at lines 1036--1043 []\T1/cmr/m/n/10.95 David Hilbe[]rt, Wil-helm Acker-mann[], 1950. \T1/cmr/m/it /10.95 Prin-ci-ples of [] [106] Underfull \hbox (badness 10000) in paragraph at lines 1230--1239 \T1/cmtt/m/n/10.95 /op / f / logics / Kennedy _ Peano . pdf$\T1/cmr/m/n/10.95 , orig-i-nally publ. at $\T1/cmtt/m/n/10.95 http : / / home . att . net / [] [107] [108] [109] [110] [111] Overfull \hbox (4.04994pt too wide) in paragraph at lines 1787--1804 \T1/cmr/m/n/10.95 ``ETHer-itage''\T1/cmtt/m/n/10.95 https://etheritage.ethz.ch/ 2021/06/25/urschriften-zu-hilbert-bernays- [] ) [112] (./all.ind Overfull \hbox (2.34349pt too wide) in paragraph at lines 30--32 []| \T1/cmr/m/n/10.95 gen-er-al-ized choice func-tion, 40, 55--58, 63-- [] Overfull \hbox (1.49129pt too wide) in paragraph at lines 76--78 []| \T1/cmr/m/n/10.95 's ``Founda-tions of Geo-metry'', \T1/cmr/m/it/10.95 see \T1/cmr/m/n/10.95 Grund- [] Overfull \hbox (7.40446pt too wide) in paragraph at lines 78--80 []| \T1/cmr/m/n/10.95 's ``Grund-lagen der Geo-metrie'', \T1/cmr/m/it/10.95 se e \T1/cmr/m/n/10.95 Grund- [] Overfull \hbox (0.57191pt too wide) in paragraph at lines 102--103 []\T1/cmr/m/n/10.95 Leisenring's Ex-ten-sion-al-ity Axiom (E2), 6, 30, [] [113 ] Overfull \hbox (1.00786pt too wide) in paragraph at lines 117--118 []\T1/cmr/m/n/10.95 Peano, Guiseppe (1858--1932), 18--20, 107, 109 [] Overfull \hbox (1.6812pt too wide) in paragraph at lines 161--162 []\T1/cmr/m/n/10.95 Whitehead, Al-fred North (1861--1947), 19, 111 [] [114 ]) (./all.aux) ) ) Here is how much of TeX's memory you used: 14175 strings out of 94501 209154 string characters out of 1176137 344141 words of memory out of 1500000 16399 multiletter control sequences out of 10000+50000 58030 words of font info for 175 fonts, out of 1200000 for 2000 1350 hyphenation exceptions out of 8191 32i,52n,27p,1051b,478s stack positions out of 5000i,500n,6000p,200000b,5000s Output written on all.dvi (116 pages, 664380 bytes).