This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2018.10.12)  7 AUG 2022 15:33
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**Incompleteness1
(./Incompleteness.tex
LaTeX2e <2016/02/01>
Babel <3.9q> and hyphenation patterns for 3 language(s) loaded.
(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo
File: size12.clo 2014/09/29 v1.4h 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
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\@emptytoks=\toks14
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2016/03/03 v2.15a AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text

(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks15
\ex@=\dimen103
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen104
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 199.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 297.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 394.
LaTeX Info: Redefining \dots on input line 397.
LaTeX Info: Redefining \cdots on input line 518.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 630.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 631.
\macc@depth=\count92
\c@MaxMatrixCols=\count93
\dotsspace@=\muskip10
\c@parentequation=\count94
\dspbrk@lvl=\count95
\tag@help=\toks16
\row@=\count96
\column@=\count97
\maxfields@=\count98
\andhelp@=\toks17
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks18
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2735.
LaTeX Info: Redefining \] on input line 2736.
)
\c@exer=\count99
 (./prooftree.tex
<Paul Taylor's Proof Trees, 2 August 1996>
\proofrulebreadth=\dimen112
\proofdotseparation=\dimen113
\proofrulebaseline=\dimen114
\proofdotnumber=\count100
\shortenproofleft=\dimen115
\shortenproofright=\dimen116
\proofbelowshift=\dimen117
\proofabove=\box28
\proofbelow=\box29
\proofrulename=\box30
)
No file Incompleteness.aux.
\openout1 = `Incompleteness.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 50.
LaTeX Font Info:    ... okay on input line 50.
LaTeX Font Info:    Try loading font information for U+msa on input line 68.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 68.

(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
) [1

{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4]

LaTeX Warning: Reference `remain' on page 5 undefined on input line 369.

[5] [6]

LaTeX Warning: Reference `arith' on page 7 undefined on input line 452.


LaTeX Warning: Reference `notAx' on page 7 undefined on input line 494.

[7]
Overfull \hbox (9.0446pt too wide) in paragraph at lines 535--540
[]\OT1/cmr/bx/n/12 Proof: \OT1/cmr/m/n/12 We show that if Truth were arith-meti
-cal, then we could for-mu-late the self-contradictory
 []

[8] [9] [10] [11]

LaTeX Warning: Reference `VALID' on page 12 undefined on input line 793.

[12] [13] [14] [15] [16] [17] [18]

LaTeX Warning: Reference `cor3ED' on page 19 undefined on input line 1225.

[19] [20] [21]

LaTeX Warning: Reference `RART' on page 22 undefined on input line 1425.


LaTeX Warning: Reference `CTm' on page 22 undefined on input line 1441.

[22]

LaTeX Warning: Reference `DecT' on page 23 undefined on input line 1459.


LaTeX Warning: Reference `notodd' on page 23 undefined on input line 1489.


LaTeX Warning: Reference `repinTh' on page 23 undefined on input line 1508.

[23]

LaTeX Warning: Reference `repR' on page 24 undefined on input line 1551.


LaTeX Warning: Reference `cor1RA' on page 24 undefined on input line 1560.


LaTeX Warning: Reference `ext' on page 24 undefined on input line 1562.

[24]

LaTeX Warning: Reference `first' on page 25 undefined on input line 1625.


LaTeX Warning: Reference `neg' on page 25 undefined on input line 1649.


LaTeX Warning: Reference `neg' on page 25 undefined on input line 1654.


LaTeX Warning: Reference `c' on page 25 undefined on input line 1656.


LaTeX Warning: Reference `neg' on page 25 undefined on input line 1659.

[25]

LaTeX Warning: Reference `prUnT' on page 26 undefined on input line 1671.

[26] (./Incompleteness.aux)

LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 ) 
Here is how much of TeX's memory you used:
 1239 strings out of 494953
 13485 string characters out of 6180976
 65800 words of memory out of 5000000
 4559 multiletter control sequences out of 15000+600000
 10771 words of font info for 40 fonts, out of 8000000 for 9000
 14 hyphenation exceptions out of 8191
 27i,9n,26p,207b,180s stack positions out of 5000i,500n,10000p,200000b,80000s
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></us
r/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/shar
e/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texl
ive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi6.pfb></usr/share/texlive/tex
mf-dist/fonts/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/
type1/public/amsfonts/cm/cmr6.pfb></usr/share/texlive/texmf-dist/fonts/type1/pu
blic/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/ams
fonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/
cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti
12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msam1
0.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10
.pfb>
Output written on Incompleteness.pdf (26 pages, 229253 bytes).
PDF statistics:
 140 PDF objects out of 1000 (max. 8388607)
 98 compressed objects within 1 object stream
 0 named destinations out of 1000 (max. 500000)
 1 words of extra memory for PDF output out of 10000 (max. 10000000)