This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=latex 2009.4.25)  30 JAN 2022 15:01
entering extended mode
**all
(./all.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> 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.
(/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/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/Library/TeX/texmf/tex/latex/latexlib/mssymb.sty
\msxfam=\mathgroup4
\msyfam=\mathgroup5
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/marginnote.sty
Package: marginnote 2006/10/26 v1.1 non floating margin notes for LaTeX
\c@mn@abspage=\count87
)
(/Users/cp/svn/hilbertbernays/trunk/url.sty
\Urlmuskip=\muskip10
Package: url 2005/06/27  ver 3.2  Verb mode for urls, etc.
)
(/Users/cp/svn/hilbertbernays/trunk/named.sty)
(/Users/cp/svn/hilbertbernays/trunk/namedhelper.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/dina4.sty)
(/Users/cp/svn/hilbertbernays/trunk/headerhot.tex
\disp=\skip43
\textwidthminustwomm=\skip44
\textwidthminushalfcm=\skip45
\textwidthminusonecm=\skip46
\textwidthminustwocm=\skip47
\textwidthminusfourcm=\skip48
\textwidthminussixcm=\skip49
\yinibox=\box26
)
(/Users/cp/svn/hilbertbernays/trunk/headerforformulas.tex)
(/Users/cp/svn/hilbertbernays/trunk/headersugarterms.tex)
(/Users/cp/svn/hilbertbernays/trunk/headernamesrest.tex)
(/Users/cp/svn/hilbertbernays/trunk/specialfonts.tex)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headertheorem.tex
\c@theorem=\count88
)
(/Users/cp/Library/TeX/texmf/tex/latex/latexlib/headerproof.tex) (./all.aux)
\openout1 = `all.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 73.
LaTeX Font Info:    ... okay on input line 73.
Package marginnote Info: either \pdflastxpos or \pdfoutput not available
(marginnote)             or \pdfoutput set to 0.
(marginnote)             Extended possition detection mode deactivated.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <14.4> on input line 73.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 73.

(./all.toc
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 3.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 3.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 3.
Package marginnote Info: Margin note 1.1 is on absolute page 1
(marginnote)              on input line 5.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5.
Package marginnote Info: Margin note 1.2 is on absolute page 1
(marginnote)              on input line 9.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 9.
Package marginnote Info: Margin note 1.3 is on absolute page 1
(marginnote)              on input line 10.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 10.
Package marginnote Info: Margin note 1.4 is on absolute page 1
(marginnote)              on input line 11.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 11.
Package marginnote Info: Margin note 1.5 is on absolute page 1
(marginnote)              on input line 12.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 12.
Package marginnote Info: Margin note 1.6 is on absolute page 1
(marginnote)              on input line 13.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 13.
Package marginnote Info: Margin note 1.7 is on absolute page 1
(marginnote)              on input line 14.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 14.
Package marginnote Info: Margin note 1.8 is on absolute page 1
(marginnote)              on input line 15.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 15.
Package marginnote Info: Margin note 1.9 is on absolute page 2
(marginnote)              on input line 16.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 16.
 [1

]
Package marginnote Info: Margin note 2.1 is on absolute page 2
(marginnote)              on input line 17.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 17.
Package marginnote Info: Margin note 2.2 is on absolute page 2
(marginnote)              on input line 18.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 18.
)
\tf@toc=\write3
\openout3 = `all.toc'.

 [2]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <17.28> on input line 78.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 88.
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 243.

 (/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 243.

Underfull \vbox (badness 10000) has occurred while \output is active []

 [3

]
[4] [5] [6]
Package marginnote Info: Margin note 7.1 is on absolute page 7
(marginnote)              on input line 457.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 457.
Package marginnote Info: Margin note 7.2 is on absolute page 7
(marginnote)              on input line 535.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 535.
Package marginnote Info: Margin note 7.3 is on absolute page 7
(marginnote)              on input line 542.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 542.
Package marginnote Info: Margin note 7.4 is on absolute page 8
(marginnote)              on input line 684.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 684.
 [7]
Package marginnote Info: Margin note 8.1 is on absolute page 8
(marginnote)              on input line 715.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 715.
Package marginnote Info: Margin note 8.2 is on absolute page 9
(marginnote)              on input line 751.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 751.
Package marginnote Info: Margin note 8.3 is on absolute page 9
(marginnote)              on input line 779.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 779.
 [8]
Package marginnote Info: Margin note 9.1 is on absolute page 9
(marginnote)              on input line 874.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 874.

Underfull \vbox (badness 10000) has occurred while \output is active []

 [9]
Package marginnote Info: Margin note 10.1 is on absolute page 10
(marginnote)              on input line 938.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 938.
Package marginnote Info: Margin note 10.2 is on absolute page 10
(marginnote)              on input line 997.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 997.

Underfull \vbox (badness 5711) has occurred while \output is active []

 [10]
Package marginnote Info: Margin note 11.1 is on absolute page 11
(marginnote)              on input line 1037.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 1037.
Package marginnote Info: Margin note 11.2 is on absolute page 11
(marginnote)              on input line 1090.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 1090.

[11]
Package marginnote Info: Margin note 12.1 is on absolute page 12
(marginnote)              on input line 1162.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1162.
Package marginnote Info: Margin note 12.2 is on absolute page 12
(marginnote)              on input line 1226.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1226.
Package marginnote Info: Margin note 12.3 is on absolute page 12
(marginnote)              on input line 1317.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1317.
Package marginnote Info: Margin note 12.4 is on absolute page 13
(marginnote)              on input line 1360.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 1360.
 [12]
Package marginnote Info: Margin note 13.1 is on absolute page 13
(marginnote)              on input line 1407.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 1407.
Package marginnote Info: Margin note 13.2 is on absolute page 13
(marginnote)              on input line 1472.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 1472.
Package marginnote Info: Margin note 13.3 is on absolute page 14
(marginnote)              on input line 1538.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1538.

Underfull \vbox (badness 3713) has occurred while \output is active []

 [13]
Package marginnote Info: Margin note 14.1 is on absolute page 14
(marginnote)              on input line 1591.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1591.
Package marginnote Info: Margin note 14.2 is on absolute page 14
(marginnote)              on input line 1655.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1655.
Package marginnote Info: Margin note 14.3 is on absolute page 14
(marginnote)              on input line 1717.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1717.

[14] [15]
Underfull \hbox (badness 1389) in paragraph at lines 1766--1766
\T1/cmr/bx/n/17.28 Ver-nunft von der speku-la-tiven (tran[]-zen-den-talen,
 []

Package marginnote Info: Margin note 16.1 is on absolute page 16
(marginnote)              on input line 1785.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1785.
Package marginnote Info: Margin note 16.2 is on absolute page 16
(marginnote)              on input line 1906.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 1906.
[16]
Package marginnote Info: Margin note 17.1 is on absolute page 17
(marginnote)              on input line 2004.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2004.
Package marginnote Info: Margin note 17.2 is on absolute page 17
(marginnote)              on input line 2085.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2085.
 [17] [18]
Package marginnote Info: Margin note 19.1 is on absolute page 19
(marginnote)              on input line 2193.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2193.
Package marginnote Info: Margin note 19.2 is on absolute page 19
(marginnote)              on input line 2196.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2196.
Package marginnote Info: Margin note 19.3 is on absolute page 19
(marginnote)              on input line 2200.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2200.
 [19

]
Package marginnote Info: Margin note 20.1 is on absolute page 20
(marginnote)              on input line 2266.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2266.
Package marginnote Info: Margin note 20.2 is on absolute page 20
(marginnote)              on input line 2269.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2269.
 [20]
Package marginnote Info: Margin note 21.1 is on absolute page 21
(marginnote)              on input line 2356.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2356.

Overfull \hbox (2.44585pt too wide) in paragraph at lines 2358--2366
\T1/cmr/m/n/12 Kant erk-lärt hier die formal-logischen Grundzüge von \T1/cmr/m/
it/12 De-duk-tion \T1/cmr/m/n/12 (Her-leitung, Herau[]-ziehung)
 []

[21] [22]
Package marginnote Info: Margin note 23.1 is on absolute page 23
(marginnote)              on input line 2678.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2678.

Overfull \hbox (2.15334pt too wide) in paragraph at lines 2744--2747
[]\T1/cmr/m/n/12 -- im Gegen-satz zum Pri-mat der Prädikate bei Leib-niz (bis h
in zur Leibniz-Gleichheit) --
 []


Underfull \vbox (badness 5817) has occurred while \output is active []

 [23]
Package marginnote Info: Margin note 24.1 is on absolute page 24
(marginnote)              on input line 2751.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2751.
Package marginnote Info: Margin note 24.2 is on absolute page 24
(marginnote)              on input line 2806.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2806.

[24]
Package marginnote Info: Margin note 25.1 is on absolute page 25
(marginnote)              on input line 2875.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2875.
 [25]
Package marginnote Info: Margin note 26.1 is on absolute page 26
(marginnote)              on input line 2925.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2925.
Package marginnote Info: Margin note 26.2 is on absolute page 26
(marginnote)              on input line 2979.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2979.
Package marginnote Info: Margin note 26.3 is on absolute page 26
(marginnote)              on input line 2987.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 2987.
 [26]
Package marginnote Info: Margin note 27.1 is on absolute page 27
(marginnote)              on input line 2998.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 2998.
Package marginnote Info: Margin note 27.2 is on absolute page 27
(marginnote)              on input line 3014.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3014.
Package marginnote Info: Margin note 27.3 is on absolute page 27
(marginnote)              on input line 3058.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3058.
Package marginnote Info: Margin note 27.4 is on absolute page 27
(marginnote)              on input line 3091.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3091.
Package marginnote Info: Margin note 27.5 is on absolute page 28
(marginnote)              on input line 3133.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3133.
Package marginnote Info: Margin note 27.6 is on absolute page 27
(marginnote)              on input line 3134.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3134.
Package marginnote Info: Margin note 27.7 is on absolute page 28
(marginnote)              on input line 3173.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3173.
 [27] [28]
Package marginnote Info: Margin note 29.1 is on absolute page 29
(marginnote)              on input line 3243.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3243.
Package marginnote Info: Margin note 29.2 is on absolute page 29
(marginnote)              on input line 3317.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3317.

Overfull \hbox (2.33757pt too wide) in paragraph at lines 3319--3331
\T1/cmr/m/n/12 Abgesehen davon, dass der Schluss, die Seele sei Sub[]-tanz, ein
 Fehlschluss, also ein Paralogi[]-
 []

[29]
Package marginnote Info: Margin note 30.1 is on absolute page 30
(marginnote)              on input line 3354.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3354.
Package marginnote Info: Margin note 30.2 is on absolute page 30
(marginnote)              on input line 3383.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3383.
Package marginnote Info: Margin note 30.3 is on absolute page 30
(marginnote)              on input line 3417.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3417.
Package marginnote Info: Margin note 30.4 is on absolute page 30
(marginnote)              on input line 3484.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3484.
Package marginnote Info: Margin note 30.5 is on absolute page 30
(marginnote)              on input line 3490.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3490.
 [30]
Package marginnote Info: Margin note 31.1 is on absolute page 31
(marginnote)              on input line 3497.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3497.
Package marginnote Info: Margin note 31.2 is on absolute page 31
(marginnote)              on input line 3501.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3501.
 [31] [32]
Package marginnote Info: Margin note 33.1 is on absolute page 33
(marginnote)              on input line 3637.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3637.
Package marginnote Info: Margin note 33.2 is on absolute page 33
(marginnote)              on input line 3692.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3692.

Overfull \hbox (0.69899pt too wide) in paragraph at lines 3694--3699
\T1/cmr/m/n/12 Kant klas-si-fiziert hier die vier The-sen des vorigen Kapi-tels
 als den Stand-punkt des \T1/cmr/m/it/12 Dogmati[]-
 []

[33]
Package marginnote Info: Margin note 34.1 is on absolute page 34
(marginnote)              on input line 3719.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3719.

Overfull \hbox (4.72922pt too wide) in paragraph at lines 3721--3734
\T1/cmr/m/n/12 In diesem Kapi-tel bekennt sich Kant zu einem Glauben an Voll-st
ändigkeit in reiner Mathema-
 []

Package marginnote Info: Margin note 34.2 is on absolute page 34
(marginnote)              on input line 3792.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3792.
[34]
Package marginnote Info: Margin note 35.1 is on absolute page 35
(marginnote)              on input line 3802.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3802.
Package marginnote Info: Margin note 35.2 is on absolute page 35
(marginnote)              on input line 3809.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3809.
Package marginnote Info: Margin note 35.3 is on absolute page 35
(marginnote)              on input line 3831.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 3831.
 [35]
Package marginnote Info: Margin note 36.1 is on absolute page 36
(marginnote)              on input line 3885.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3885.
Package marginnote Info: Margin note 36.2 is on absolute page 36
(marginnote)              on input line 3906.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 3906.
 [36]
Overfull \hbox (0.92583pt too wide) in paragraph at lines 4007--4018
\T1/cmr/m/n/12 Kant bezieht sich hi-er-bei nicht auf die physikalis-chen Dinge 
an sich selbst oder die Geschichte
 []

Package marginnote Info: Margin note 37.1 is on absolute page 37
(marginnote)              on input line 4020.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4020.
Package marginnote Info: Margin note 37.2 is on absolute page 37
(marginnote)              on input line 4053.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4053.
Package marginnote Info: Margin note 37.3 is on absolute page 37
(marginnote)              on input line 4082.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4082.
[37]
Package marginnote Info: Margin note 38.1 is on absolute page 38
(marginnote)              on input line 4178.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 4178.
 [38]
Package marginnote Info: Margin note 39.1 is on absolute page 39
(marginnote)              on input line 4195.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4195.
 [39] [40]
Package marginnote Info: Margin note 41.1 is on absolute page 41
(marginnote)              on input line 4346.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4346.
Package marginnote Info: Margin note 41.2 is on absolute page 41
(marginnote)              on input line 4349.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4349.
Package marginnote Info: Margin note 41.3 is on absolute page 41
(marginnote)              on input line 4385.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4385.
Package marginnote Info: Margin note 41.4 is on absolute page 41
(marginnote)              on input line 4392.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4392.
 [41]
Package marginnote Info: Margin note 42.1 is on absolute page 42
(marginnote)              on input line 4401.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 4401.
 [42]
Package marginnote Info: Margin note 43.1 is on absolute page 43
(marginnote)              on input line 4487.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 4487.
 [43] [44]
Overfull \hbox (2.38118pt too wide) in paragraph at lines 4681--4709
[]\T1/cmr/m/n/12 Die for-malen Be-zeich-nung und die Be-weise di-enen lediglich
 zur präzisen for-malen Darstel-
 []

[45] [46]
Underfull \hbox (badness 1132) in paragraph at lines 4986--5008
\T1/cmr/m/n/12 gemä˙ Axiom7.13[].  Es besteht aber $\OML/cmm/m/it/12 ^^U^^L$\T
1/cmr/m/n/12 -Gleichheit von  $[]$  und
 []

[47] [48] [49]
Package marginnote Info: Margin note 50.1 is on absolute page 50
(marginnote)              on input line 5586.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5586.
Package marginnote Info: Margin note 50.2 is on absolute page 50
(marginnote)              on input line 5614.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5614.
Package marginnote Info: Margin note 50.3 is on absolute page 50
(marginnote)              on input line 5655.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5655.
 [50]
Package marginnote Info: Margin note 51.1 is on absolute page 51
(marginnote)              on input line 5672.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5672.
Package marginnote Info: Margin note 51.2 is on absolute page 51
(marginnote)              on input line 5711.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5711.
Package marginnote Info: Margin note 51.3 is on absolute page 51
(marginnote)              on input line 5738.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5738.
Package marginnote Info: Margin note 51.4 is on absolute page 51
(marginnote)              on input line 5743.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5743.
 [51]
Package marginnote Info: Margin note 52.1 is on absolute page 52
(marginnote)              on input line 5775.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5775.
Package marginnote Info: Margin note 52.2 is on absolute page 52
(marginnote)              on input line 5781.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5781.
 [52]
Package marginnote Info: Margin note 53.1 is on absolute page 53
(marginnote)              on input line 5851.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoteleftadjust on input line 5851.
 [53]
Package marginnote Info: Margin note 54.1 is on absolute page 54
(marginnote)              on input line 5899.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 5899.
 [54]
Overfull \hbox (3.38518pt too wide) in paragraph at lines 5925--5928
[]\T1/cmr/m/n/12 Es gibt auch nicht-sinnliche An-schau-un-gen []A254[], aber Ka
nt meint mit []Anschauung``
 []

[55

] [56]
Package marginnote Info: Margin note 57.1 is on absolute page 58
(marginnote)              on input line 6215.
Package marginnote Info: xpos not known,
(marginnote)             using \marginnoterightadjust on input line 6215.
 [57] [58] (./all.bbl
LaTeX Font Info:    Try loading font information for T1+cmtt on input line 6.
 (/Users/cp/svn/hilbertbernays/trunk/t1cmtt.fd
File: t1cmtt.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
[59] [60] [61]) [62] (./all.aux) ) 
Here is how much of TeX's memory you used:
 7591 strings out of 94501
 89687 string characters out of 1176137
 159529 words of memory out of 1500000
 9988 multiletter control sequences out of 10000+50000
 36610 words of font info for 99 fonts, out of 1200000 for 2000
 1333 hyphenation exceptions out of 8191
 32i,30n,27p,1015b,402s stack positions out of 5000i,500n,6000p,200000b,5000s

Output written on all.dvi (62 pages, 277164 bytes).