SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info #7t| ]]Goedel_Incompleteness:threads=4elapsed=25.696cpu=94.812gc=2.3727zXZִF! ;]ŗXiɟ,|!ʏ+BS,? +W^vMԷzQI ,̘p? Ɨ_,%:g5-c}аȏ$>fW#Ƭ,rӸ2"8~D͂41*uW/1|2bD Zr,ؼGY^gٵ:{ۜ{ p>tMf ,gf%ɢmh M^Nw˛L Ќ74ϤKzX(0ENX lF $"2>7U~:heLr6pWh,\_%TguL,&^b/n/uԮ '0#cReyN:3<-Ugd#Ėг}^gdo#JTTrցU G=aG{z=o Cҽ= §˝385Yu:HqgѦF^``$aҲ ;d*+x)Rgp.0r$Q?T++ES9j E~`wM@ޥ_'0|~Vz-hgVSܮl$,iy Wv?KxIH,+|вTb^m'PxE-8)[h2guK= BdJh3vS} 4Ԃ_J&Ncsl\ J21q x<4[Ӻd nb':+ sNtp f jdɠl5jwu/*}C>VQIxvµvږίKWlՌx~@zԢt:zDsnW 8},ҎNҏ_;~tGM8 Kk M馣 I{U3"se__7K򆟨H.)}?pG=@J)vNs֊ 0*gu KN'rtإċ\l{ 2Ї8d{(B)cFlaEġ̎ 1C'nԳz=0e)O-)|P#ZW4HGJ.~fn:A\ _ 2u&Jpd 1T.Y?,"/3כ?4q=ݧ 锴H("r}VL 밆{C5}] P zn R{sjBsJ0i3B^8tb^KoL-9$H=;z=oզ7  _`ă>t.R^wb|Q[9TzN`KM3 D/jĮ!]<%Z=׾z`?f8&%mRC ^yU%&Qڠ/Q+mٛ<*ؚ)@KX/xu -xSPUj_XXYg욆%EA{ް6ʇftMlE_ '^L塲ye_Wܭ'' 9DPNhKu$q%fb3,CXUDѾ$ܖ>ss1[ 2yk~iL4l2[ W6!㚴6o+ 7;.$FO:ngFbÇDi= !jX['U郁]3'K][ w1g~!ʑ*q!o]N"޻0>]99FTj/xS ~]$ıuFl~()GǬng8Xiegx^@V>cC!ID DRV;8m M"ъUw}uDgwD "$%CEzKF%kdA̜ER2 YBC?@otVV2یկWxؕ9QS[,uf0TVKc ;ѯaiŽ(/}=Hӓ#E"SՀҘ QMi>5z*L zƧЈÅ1*pUb|BOzp8(MvOQ 3aC9.hLlR,K2z5S?hE'BF|&6Ӵ?W~;ՍMx+n\+m3gƤ>+/ke|Vb{mUնDr}J;@'(u/ u9fE7v,Cf]7Kʺ.)ɳ{5Ϥ ]iOJ;\ ^=Y,Q .8; iBr /-+dgIP.3(¿x q{ފWA*t8`H4E ;se;u D$h*:2id}LqϣyZ}VR04y-vcTj~@;,KaK<\QBwCM_N2@7c% dGoedel_IncompletenessGoedel_Incompleteness.Abstract_First_Goedeldocument.tex7zXZִF! ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ*`v*WKPl8:|dn9 Bp_"rk["4N@|3y:7$%pK۱ew\X ֒qԂo_^ZAb;lЊ> Y!!"mVa]ߥ ۹{i q:{HSV\usK1g K k${ee۟ 53L$-l1,pUzD ݈ʻB2-‡uc"Ε\?y&k>=p. lXL(T1afqIfz:sM\v70'<D@΅ > O iՙ[[*Ml]3l;~8TF-; Rj9\P}uU[Xa m DsU+4֍%ƨ!cJIeo)i_tpAEp9X=_-y! YSQ*[~=UW .`$@ 9+wH9A֣F/cŜ@}΁x6Vwn)@0%bj2Fq9㿋Pg$TVv6jD^F!Q7eؿuM5 9cAgd;0⽮\eEqY+塯-^>_Te$WsBq1_vluӭ)S7lB)64U!\AZT_ޚzl$!.NClBJSZ rQJZ#1Nipv[iUH           u  ~W u b qh " <  S7e%Goedel_IncompletenessGoedel_Incompleteness.Abstract_Second_Goedeldocument.texI7Q%Goedel_IncompletenessGoedel_Incompleteness.Loeb_Formuladocument.texN7[%Goedel_IncompletenessGoedel_Incompleteness.Abstract_Encodingdocument.texI7Q%Goedel_IncompletenessGoedel_Incompleteness.All_Abstractdocument.texK7U%Goedel_IncompletenessGoedel_Incompleteness.Goedel_Formuladocument.texC7E%Goedel_IncompletenessGoedel_Incompleteness.Tarskidocument.tex A7A%Goedel_IncompletenessGoedel_Incompleteness.Loebdocument.tex W7m%Goedel_IncompletenessGoedel_Incompleteness.Abstract_Jeroslow_Encodingdocument.tex K7U%Goedel_IncompletenessGoedel_Incompleteness.Rosser_Formuladocument.tex N7[%Goedel_IncompletenessGoedel_Incompleteness.Jeroslow_Originaldocument.tex T7g%Goedel_IncompletenessGoedel_Incompleteness.Derivability_Conditionsdocument.texG7M%Goedel_IncompletenessGoedel_Incompleteness.Deduction2document.texY7q%Goedel_IncompletenessGoedel_Incompleteness.Abstract_First_Goedel_Rosserdocument.texL7W%Goedel_IncompletenessGoedel_Incompleteness.Diagonalizationdocument.texP7_%Goedel_IncompletenessGoedel_Incompleteness.Jeroslow_Simplifieddocument.texP7_%Goedel_IncompletenessGoedel_Incompleteness.Standard_Model_Moredocument.texV7k%Goedel_IncompletenessGoedel_Incompleteness.Abstract_Representabilitydocument.texQ7c% Goedel_IncompletenessGoedel_Incompleteness.Abstract_First_Goedeldocument.tex] D?&VSu d`9Vb)Cu9,.XvwuZ >`188瀱ιJmn6z_M惄Ռ@>3l^YXI.P)7kΩ[ѿpG߮gJjƸG=k uEQ+O)4*85؈bMk;O?E|)i!Ho|GՁGlogdmtg+ғHTcKρ'iU,Y( rIY/ܴsėrb~GFoe&@󧗧oUo]VY޽Կ&54u nZez2쓨gR-ȶtjk4S3Vʍ }jgR6O8Xf^Xx:AUaéճE'BR_tBbFwS֬mmTiiiJS-A{)T^nh%=TltY#2j+nXFոX#;NBÏm|-hMM|`Z`w{'Y ug*%zC $>q \݈,_K{Ȼ8>2slzGI;C{weWiW<.שFls=}Pz`ytɽ}r?*iETmŜ2Zs6Rm } X+]# 'B>)<\t#Fg %Vw"yLTtz8tjTڈj^TtQ9QY_(2 uRqR2x[<騍E@H0W"= 5igZ`RD(H!\tk2GeLRwbϤ5!"Iv֪pFжR.ELN_ jFԓJSB:SxPX(\zhU*lh]p;uߓ /8[Pf#D /{#Paqlb޿EzQSb 7[փgЉUjmtu/W7:"TzuNp@qXwkWHJWY*"\jyR8 HM9٫p.m82Tܖ%GP%"-UqPt`߈KF^ie-u/IB4b L xlm㦠-v{n` 3/Rw)=d](R0֘:l!ֶ1k Μ+);#Et ^tA~'g__x~r ΁ʍQe#(S\~KmDb.l"k]|p+ܳQJ2գN Zcߥaf^ָ=rIjX[ b$vUЗfBU\) '5I`+|)mޖcU )ҲN5b|ߥ9zRɐܸC}!E] hLu%O$(,6Y#x[3wQ؜;}A񏬎l@K,:^? nQZn ՉYV `@xX:sb;p4a_Ku^dCjѐW#NѰcG!"N$#4d'4eCS23~0[Hv t9}p:jF!c9?AB<϶8F3p?i_$ ¬Sk;(L~f⢆"Kzf fc!ҔGeq7eSkW,Ę!W&r!8g?K$S'+8lQ{]P'7u-_ɾ Rj%ߐ85z6^E|ONGX!7Ȓʥ ,h+]ċݽ*9Có+( %*Ibެn8_ FVo.oT0pżrut.cIu<JJ]{ O6U ^>J)ԑp6goܨm~SUXTNh*{>s?oMd3U Pay 9/w3ү! rL\a ԓu5pXzՁ׳")}ͮsb ^Q7E<2%fRHmZN)5I{ӨvJetK0'.Kj \߂my嶽ˡ|LJ 5y! *$<517uaKQi_v^/(PobdhgmXsLUBg~9~sݚ1N͖:DOP4QV $&-;h^ր]%|º̂՝aK˼ŪHdfȾ y]dݞob{CpwQC57yQ3S#1 y eĥK'heuf|:)Ӕ݋anBL-B )~/#W]R,9lA(<\=Cw]#sigCO-uWKː]ʧ1:$. Xf`eF EILZԳY0lg \.\Ȝ?t]P.-c~Ń{ )ؙI{VcU#"#O761Ozx@?i+D*UtBrF͇kf36;bkEe8[(J*4Ь5抅oD] +I|:ƒP+@P͎ǪcØx#]l/="oOU"TedApb΄Zln[qTJHNc6Kü0}ld׋pHq=! `Ŧpk#3|QdĒͫn ç9jПF],MP20qWgVꭈ-ed>>>{CjZ _ވrSeQo{{YqOkBȻJ8PoD}&tӇ$<@',5ii{SSApRB@ʐP̦E0ߎQpB|asʈ#2r i'Dx'aNEVqwQ}Z2^ Cmaވڐ1'݅F7Qn]EE gP{vЙ%GAPiLŜC789(FHB餬7n;[ >bzi4"ޖ=x]Xgk<+;Uw ^~17okCp YĉH`L-0sX`j3EgÊGI#^WQx '{+{&8Hel %1zugz-iz͂孈6x++g imi/l ,t4(E9̢sd?^:^qX [oԜxZF_>Zt!Ec\ S1 ӂm .b/xY7(n'8 <{q[fnnNXT9~Y"]FKSu6f4a'Y_2a*J}`z}y1⇙Ou3F1ڶ)TSʍ3)>f דcp5 # $дC\%b[$HP$nJsMW}PcF<_oHtX֣Y팓U:ZG @!At]v'E<4+cN\ s,V VMv1nHt~i;|C;P\d@oXO]mÖѷfQ϶gMĸ t7?$iG%Q3=:(I'zm-惏i4kE(m!xLl2( acWl^-hkPLhqQ+6B0?JXC.<~q+է#1$BLl~F=U?tnzJ]Y{9zܯӡ~SDP9d˓RY;5x]1rKŽB_IsbjMJŖcmJ%:O8FjhCMk@oNfr< QvW<&\Ս*&b7]m({d=dCS6\"S]Wm9͓x% ֖)JIbe-29Ǯxf_|rQHq#4qSԪhiЃpn׳MMj SMlY2p9GJ FI{b%RD2Y+/݂~Fqt!wڷ+D:0a6X&\I:iOҘ>Ǚh1Rz1Up~#ϥ)״yOTj1' :ac0RF]<Acnn.'H"leyaUG1ZN|O%UqIVhf)CQ-nF]еy[/Z\d;=9S @q@K=Q aaD;foJsȗ%MHFl0ޭ2\0:JCJ(Tr7`ӗ4>W+JLXBkcrӂ!gnp+$$y(wv"lN̟j,H}\aTH"oYR\j2ZjwJ=ݎO xz |b4TuT@}J?މZ9 1H3TU{!D2 [ogQC 7'jdK<;AےE (TmEꚬiގ 6Wk˒2ܦ< /rJ4"JOu ){e 5T3Z'P0P + RX^d "66Vg*ˈ84bH|*;&P$x@_!EA]|d_Ne&] IgMԢ*OA#;DtTz32L6+#[R(M'$8FDzw\!睥s޶-R=5_U2K$x˂aaA_]ߗ$h hOBϨf, Tj<+:Ѣa ]םa^"BTܹu&<|~lxTS_ӯuL ԋoMm5Sy !I9}+o&V] t#$)qtrk _P!EKqOR.:3~Y4yN&ѭ?wO( ~^\ϵ9h{@:.}pmĽ-R+%Hr=%-BHicj~*;}"Gܪ"ηР*Jp29 nzkv}<ƻ Q+#S3m{[qmg?^1N"MdB)OR-|ജ p7]HGuMZxiĝ_t۲)ĵv訷ڽ+322Fl%TVćzGOC;GbT} 8To-cDgo_Dm +I]iPH.鿖/["uخ(OWV/-u 󋚺r{ /6NG^DOU,ս̼>©FNMWCu_, $B=0!)*㑆hx '7"@¬WkCA0$ v×SWp@AY>LԜ(7K %^ ⅨlݻT #rF#tgiSFQoꘚzBy-Ev)Tv@Bۜt#DŽV'_j[P94˫ø)MH.kgVTNY~e 5M8ۃEs\ Y-FɅzuhY(%G@p"h&tRX[t hngGG9$۔OcC2o\2踡/&u@sz6;[HF7t7#lhf8oϱpA-s.$y:xɍ~$談,MWȧ:ٝPy`+x#~*N?@z-"=dK(iMO/D࿾SB-Jf.j}}x'9*nol+2̼=u ipWR_腸|.{|,&y *v!sG}kSc H?`si??X utbTA 6!˱,z)e["(/A|ݿP8(@d.T/6dɺ#嚄ٓk/3GR\klrpnC~WDp_(ej>kk% HB8I'ɴbmt&W]Țć @jtX9lP-[>,WZRC'z]TIJţw|}JR$ ː:Y΃SZH^K?RꨰAC{-t+ֺc9ژܬ Q\Ah b?2߮*l|eT!wFbsR:I0ӞĐ{0eN9 d%>)C݌=C%1DQZ"%FM][GLH`tNs*qgz wD_ .p9Bd(vL /cwvb-9yboO|LΆ,h(2QG8Eg7u ܢ;^JJд!l%”x1wU70U]5'?S PE1g+,K{_Gص _d'Pi F#^2p 4ͱ;gYZ ^ ^L7k% tGoedel_IncompletenessGoedel_Incompleteness.Abstract_Representabilitydocument.tex7zXZִF! @]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ& bd>u KN'rtإċ\l{ 2Ї8d{(B)cFlaEġ̎ 1C'nԳz=0e)O-)|P#ZW4HGJ.~fn:A\ _ 2u&Jpd 1T.Y?,"/3כ?4q=ݧ 锴H("r}VL 밆{C5}] P zn R{sjBsJ0i3B^8tb^KoL-9$H=;z=oզ7  _`ă>t.R^wb|Q[9TzN`KM3 D/jĮ!]<%Z=׾z`?f8&%mRC ^yU%&Qڠ/Q+mٛ<*ؚ)@KX/xu -xSPUj_XXYg욆%EA{ް6ʇftMlE_ '^L塲ye_Wܭ'' 9DPNhKu$q%fb3,CXUDѾ$ܖ>ss1[ 2yk~iL4l2[ W6!㚴6o+ 7;.$FO:ngFbÇDi= !jX['U郁]3'K][ w1g~!ʑ*q!o]N"޻0>]99FTj/xS ~]$ıuFl~()GǬng8Xiegx^@V>cC!ID DRV;8m M"ъUw}uDgwD "$%CEzKF%kdA̜ER2 YBC?@otVV2یկWxؕ9QS[,uf0TVKc ;ѯaiŽ(/}=Hӓ#E"SՀҘ QMi>5z*L zƧЈÅ1*pUb|BOzp8(MvOQ 3aC9.hLlR,K2z5S?hE'BF|&6Ӵ?W~;ՍMx+n\+m3gƤ>+/ke|Vb{mUնDr}J;@'(u/ u9fE7v,Cf]7Kʺ.)ɳ{5Ϥ ]iOJ;\ ^=Y,Q .8; iBr /-+dgIP.3(¿x q{ފWA*t8`H4E ;se;u D$h*:2id}LqϣyZ}VR04y-vcTj~@;,KaK<\QBwCM_N2@7c% dGoedel_IncompletenessGoedel_Incompleteness.Abstract_First_Goedeldocument.tex7zXZִF! ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ*`v*WKPl8:|dn9 Bp_"rk["4N@|3y:7$%pK۱ew\X ֒qԂo_^ZAb;lЊ> Y!!"mVa]ߥ ۹{i q:{HSV\usK1g K k${ee۟ 53L$-l1,pUzD ݈ʻB2-‡uc"Ε\?y&k>=p. lXL(T1afqIfz:sM\v70'<D@΅ > O iՙ[[*Ml]3l;~8TF-; Rj9\P}uU[Xa m DsU+4֍%ƨ!cJIeo)i_tpAEp9X=_-y! YSQ*[~=UW .`$@ 9+wH9A֣F/cŜ@}΁x6Vwn)@0%bj2Fq9㿋Pg$TVv6jD^F!Q7eؿuM5 9cAgd;0⽮\eEqY+塯-^>_Te$WsBq1_vluӭ)S7lB)64U!\AZT_ޚzl$!.NClBJSZ rQJZ#1Nipv[iUHPH'PIeB:.f|&D[w1N,KDJ7H&FX f7_% 4Goedel_IncompletenessGoedel_Incompleteness.Standard_Model_Moredocument.tex7zXZִF! XT]A-MՋhvG"uIBm5ȩvAYp!A4K$:OQFJ b\+Xߖ f:[l]33=U#{Ax= !ǵ4vV I}RT^5ۇR[棯I1 = >u dG~ e:EΕaycSoNlz(gG}f.\ $'~=ڀ;%nUcR}[|5N(*t4ɼXM Òc'}%FBuntD\*Bׄ"szrF3]@[Pij|<30<#PÏnw:&ַ|Q >z|dIoy9ħJKm& R!C] 3[rBUM{@$7lD+$Kv6G-7 >,w ?@(tEg?` #%D ! |vXMrM֜1=x-ҁuU_Ɩ@LB^ v2DnqYᝑ$vYc h׌m ѣy !XNny(£ssLrt_BቾQqydÕj筂dU4+-a㑓nm5MЇdl$ k\D%]X^\^ØRɓhȷeѐ|@kNKQH#܈˒r\ř966GS$4m R1kf|)b3JR024tӲF/ &hS1MWP'jIj`Ik笀qNSjl8~ 2Bs \OW"^)+vr0ֵZ9t[I^~|:d>%~2TjϿ="80~l3Wڡ7̤0S5 Sɉ lNo=LFABbJnapo{w` LsG~\1Ұbpúܓ;ifj =LpFG#5jRO[( _"CA6;6ۇpK%c6P.&$`CZ *Vz8<냢$(&]DS-SH(n>4,?P2Na{9a eF{Z.׺}.a;h\+d";10ww Cm%)KA2 JxdgK2c((ϱcjL Ȃ9q!ﯞA%['1++&;mXKI͂¬xG5w=Ѕbx'սTI+BAĎ`"^g'D@CǸWr׷qӞAQ=ȅ҈:5Ȯ;%ka뼣rqDx6{hg8[HmY]ħphB;:.액~LO+0*H6iԁtLq{ ݜ>E]G swl&bx/ L3n02mϭvЍtM~{ w˥ju!A =z|)Y"wo, X)4=:a}vT|ȼ;Es6̫3 +'8lez5"5Z5Y`Q Y&dFV!+Ug/E^Aowc]#kѤ\Up@ l'%f] Z2Q<_tfpMTN_h8{xO@ud1`AAH۲L=Ѓ[}{9x\  Ud+Ѧ[JM:T'p L=ƞN7ib7a]p c[61r5lvWf}Е2Wx:/ɷd<ζ x7{)Z"t]eFK XF7:D̰E4[c A(Fb.2 '~ nLjb.? ie7>V c/"Y7Wxd^LUuSCnK8KA41zd R;~ʽ%#+@5Db/fnQTg\ Kzve)s!ݭȸs6[ !áCD^:$ Y ߸fq0M׎Z a.%uF||/`)H`}:{~TLpP`?udӄg "e.pllkb5VRvt<|i3OiH~Y½h& H#AՀ-J֏Yj$b5Qd|^3lRE]Qu;PuDq>N3S'^q~1 zHcpJN ș cңxSoI"41^^7m)0BK{g<s8&wC?֋Jolj6 Gx[7WUb&Np N.UƯtK_s8V@)!'U;|~}lc|IP:&A$#.Y5.I:pLQha3_:9e7豋L[D RxEdgb_liZxaQ@ <!r:Y8z'bޡ /JOb~bDdЏ.OPTKҡx{c]'gEo>(h(-e7oԐwƎ W^O5?zJ#t11uoM51`<?UQT.53 CXj]Q Ԑ0.`&mP%tY'Cn @5a8SԳ%Q!碪UqƟ qgEn}#ݙ$瑕~P,P'KtfK]S5 | ^7T {)kSŸC:x^`dPXJsi' j0|\;jG xҜ~ Ԃ K1.[†Yϻ'j>31:f24Gy[ʝ`qQY{^ mF>i\v4՛ž^!Wt\g1q8` с"&;7fϤ+ӛ㫘r_Ц{hkl٢DYK2<0+>^ 53 LHRZ+pj #`ܨ1ic}5ҼР{-N7c!YRBTt,Iҭ|^">zW[=RLR<aN`wrC1x\n#*~'M.xa3Y.}U[+鏲ۼJl1!쑨K[7#ujM 9yDChsaMwԘj,xLjdl~~O(E󨲦GI;Ƨ Si+aGP{)kHEW'ο7nW_"E=6#pO1ȭׂB9k{(5 l33uh+ً9GG.gS94mĶ-"Q#s71$p?sЄ)ŽmڃBK+>Lk)ϩmڡs`+ч}kmJҋ|V,ٖV"|jLɢm;q YqK2T*`k )3Ee3r*Gᕶ!mx05-\^=8}| }{M 1ǯPKT0 \_,wR8Йbi '.֞q_.zxba`>LS]*֧30WUex^܄H)NmZ 41Y9q Q_>I I-eZ*"d].' ϓ|=WMBEO%Ry-C 8~?h %yQ`yjTG~/AIVk (r>`1d5K9>-Te) 5}z[ZiWVF#?5Df V-o[U}2BYM%pM9w7 )`YHtRq 2]Eg`FIK"1pV!G!p4Txurv%F"(ߣdz T|Al 00 P t$gЍ;8"Κi%FU)E9屲Ƽ :mΩdr[喨CX&r,;yΎF8eYZ E\|5~㟶t!W\^]k8Co.HӃ-ͽx+Zf.֓bs WR܄mJD4%ՈMj7 ˬހƚ|@dwzs1b98݃ Y&[t2ۚIj!¶gPKQh"Z7!#aJ a @6?0[+u j~nvۗQzG!ICUL!uLT?/TSژJˊi  ܩ/LBV]ra;`FL>LPҍg ϫKqW"LN9g9x2ʏ3 zw?Sq3_ѯv3@>0+~.B_8?6/ά`BJF'`*u*zK&J"]߲wC%4 ~۶H+.cˑ-U&)2T~H*[ۏPyrE7uwD+B[04lH-цb9F lExgLY0v Y.Bz`Ҳ{ &(T>NO?X![UDI sȒcBj3YWҞUwyR Ь-^IAJA[u[%Gb[6كvp\HcPQz5,yX[ԑ??Oۿ4cOY /~7y^z'}PNHq I)ϙH ;=--G-Q( i4־ {?qנ{I=o1-AxRԶ1N |yoQc{BzZp70zL) d 8ruEz|YoW^ j9OE€<3֦nFʨuS*=AP ٫مm[\r{ OT ǗabggG"( iUt 0dDw5F^B{ז@c`1ІSm܎M1GoN~wRGLM,5L=⋈Pږ!Yx&KRJ)z9mCr,qU~;1*B׬-A(Kao)Kۻ eD^SrY Ğzw*(^ Z}i}H9E}}~?:ZdU"mx!^=zj/wUߐ*_!Lm\5YQY<^3 &ã<2n2jX!(=5kw^,סiIԢ*R)@ЃM N]1}eVs!0 p DTZ,jkyhAo0m/ˇ&ϔ!#4ʶh>-X1)N 5qSyB# U¡xڻᄆ#nyHN*~ h7BOSw= RZYЀHRQ9ɚfy,gJâ͌m_ϥ:|UՀ+Ӯ8D. *o!|\ڣlwY;_a,y4F!Vn|$L0t,vm+ 9b/o{u!'#!eXׅKqt!%BAGlEEݮ^L j 96̖_-Y~U>7|.7}2ߴhN:NFGqI#}V$F<2MƅwbߚK#ç, _UD/O #{a3[<?gKPFbLg7A筵.sn::edӒp&=-~WЧr;)[ZV!nV3\zfi,s>'Z%Ptfoɶh{'Dj[v>.YABG@Qh"l p\;+8K]XNqw\&ĦV5'# عEN<wNhQv;'(!`wSa;BMI}jNLr2e+cȂP[_JޒoS}*(ӶsDzyKr4`fЙ]*oߍoTEڡKz`ChB >Mi*/]'dETqJڭk ,= ڙIɪΰu %ۊ m]#M{Ż6D:nr@8ᴍ ϱvNBۍx@(ee|R;]8o tXlw!t@§iUԍ}p@!L8&:U֢61BS4mC\)(H%U.pDi/ ]Hsu @pdt3 .ikzAMAPT?swF|p\?.i56h VbdPV21EA/duee\Uh7Q[GEɮyF;_EM@"tE3*{1Y5q+ܠ3eKxҘޕyV֋IɈg&T˂˸ֆxq),+ r(u泺a$bq3ʵO˺+e5E B%cFݮɞ:tJxOտ+GwNf 9AiQ3_ ;}lJEo\N|{ O{dZ9X.R~G&%v>>PʭzٸsYJ$`},T#pw!VUvbK K<rOʹ%N9j3/u%V^mv:6C6j;3Xt%n HPτ;R],ޘpsRC> gYZYxZy$A 䪞 Gdn]^'Zq e'D)I |Z~q>5|m_6Z;ۖmU\i@q&V ?P@-ck $:Ҏ1`O^Tr\$@)EM6buMRuj$DI[}׼@`LYX8#>hZ(X0.0~: 1fx/6¨ƴ|77iB7/߃tvDTolŊ<7;ׁO[Rn?fC5%~Lb/6Odt*`C>&)'לnTf a!MK9֓⟝f,G\3V3̃\BhyU)pqz$~^7nvR FU^l1PK3ŝr0&bv`R^s4q,#\n@FA]E@R$Fu'<`EY*߮9f֑m*p0q禩Bdn K!Eyy@+6Ve1*1Tz~w :(^qs)B= } r// z@@9eSX-EΗz!col(I]t)+vh*^a 2UQ*]-'rljUҡ9R֏4F^m[,@B jxgR+q7R]oD>E иi41,2 Y-yZ{z0E#1с5]ԫYIW~̎eFaHɓ4bf}k* *zCBRɊ{@Uxt0%A[$W,ܱ^j>E4B#o`'74-_sc74' G];Se%ilui*r?`WjlN+ZaU&Zc"ènZi?; ܁Q^NgFy]esw8$gWUrNH;8AI!ooZ09Ęp嗏ӧE>씲,[t.WSlFe=vۜ!pZaV5 {NӼdb445+xM/a3D)y<ر8#kO#8S5GBmTBl,ULJnbg>vU(~)QGk76Tx4C}؃B>·r;-LL5bu.G}B`ƹS܅{=E\8{]"Ӭ8q 0+T ?--C6WngXKHy GJZؐխ0R~\-RpaO@=Qg#`i{A0PA`weF˔svh :^1iDX_l Kֹ [HUݳ&b'Xer$W5!Ad^EHjAn_?|Hp {DiEn<^foQ 7 \0D`_/1)[z45TIŌvwɷ+Ŭdh8[=Af^qybcpԏNyȫPS K3VxrnCp'`a4޻Pcl-evVq:Cvvs#.:uI{= b4+. Q7 u9}F x: B9AAiOUm+j(ѯ<+BT^xts]{D[_=Cꁚە`BUK퐓-^ !HoٶoC-9)$1x^"e؛O˵i<r dWs3Li1#Տup42$i12GPu,NԂ$] :HOˬ7-bκ>}+y8HQi0[)JDĢJNO0#2O<< &n|//3>wBŕTA'5s(1 H\ll@m}$k9O];[E@;Z>;[֥crfZzV3MP3_Ls'O<3 ’GTF VUcC> }_ejpJo?[g v=_5FtN4e? !2mm̀,5EҠ]#hIEK-LAΕi@6s]bc($U_PL;PW1M`LcA5?AN'1ח_5YGϽUt4-t5Ԏ T kȷ /$a3m=Mw" Ͽ7h];4ʌS[Aꢬ-cCna,eGEiHds!!cQmuF )m#,`ܶ=U3LuN8BV\9)E( F0ئt՛¢>d)!gՎo#Tυt}թy> Ft`o)vpIz " QS3P?-&lW66)p կ ic vB=Z'"I`ɀ,J?q-4%ޕbэ`:W9m.յv]aɉJQlkdX?KIVlM%LcDኹ2V(^vku#gFUIK$E+Qgt呒+s>ҟQ]LZhn?EZ\~e/!n"[đeh9ۄ]-`C+" 7 #E%j ޔҵrJʹR}`3mYiĩv 0 d[:q;[_pD?-?)g OhQ%,N(OVi $ ҪLͮM?8.>PEUt΁ꔲFDaV=pe6al0 #I!ypER=!R[6iE : oNDV@\M6 s!(vfG'St&48&<0B݋a֌ آܚnWtp*szG9@Y]eOyL>Y|$B8/'_S5bThV|-uG6Yt˝T `X!W`mB-)VҞ]h5*V1!Th u6,@2mlY97(yf˚9zc68mxZ&xJj:حmEtl{dEwfv/%kq sLo0;F;qj*GgYZ  2 2C7q% \Goedel_IncompletenessGoedel_Incompleteness.Abstract_First_Goedel_Rosserdocument.tex7zXZִF! :&]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ*`vEun| q0b3:qJ mZ"cRTV Fn)Cδ}LcPh (K1 IP~?ctz!`C>^M/yMT=gᒟkj梑DpF.̟EÀYgaVQ#&>~eYZyܬ\u @.nw<JS98nGCz1W봮CD&j%LpAm?( 78yb21,rM+q&=W1G"OF9|tI럼$`QmIQ|HbWCYM"9Tsi4#KYa.J#˺aXaDU@Z'tn~ 9kq<bKXFuXi@޵ ؋:.[ ]jaB:dcz*ixϢa\"maӓ1x=K+8<1L'ǝn.%p=qΫJ :4pwTHl*Т>~qj!$c#{PWIm}Na9,f2{4!y^ 'oKdOy+|"lkׄtAoK";m@oϣVhjc=&JQODޭocXa"A{W ODz٠؈$^Cfm$Ta]uOdo縲 =V^*ޙfipzbf,l#w*y-bg_R6qXGϒCW7Ø^ ͗YLܽ)-O=W[4z7eVu]{(jG_']ՎXbc3Y+1z$L@JKvbv)Ymi}0w=KߺFd|MI:qn*l1L€"5MTClv0C*$Gs܋<9Υw/x>aFQ(=CBz;   ]7M% 4Goedel_IncompletenessGoedel_Incompleteness.Deduction2document.tex7zXZִF! q R]A-MՋhvG"uIBm5օn|~R}5ڸdK.jޡdx,,M]=``!ATWzb>4/qaR4ā)>`p2NwzQIaK]lYEA-o>vT# 烼pML.=DSZ vC|&kRd+GnP I^MQ1grG_kJ< <'MWvBp.TB|q=n ͨ#=u\ƯCEs11Ljkdn{@ v[#wȆx>UސܦXlQ⊤@DoŒfX!+n /1[dۿi=Yͬ0@& ÆLfYS:+5F+dD|4&M:M=_َ6ʔ$hb+tJ~(%)2MmH4!ߗʡ*:`%M%QkCx5 ʢ_KnD}?hVh^5ri,(h˷r`Y_I&]gHcg KQFwr^4G{'l(G!(6PP# v޼,k^s_が)1+)HEA)# ίɟ=f㶊HaG,#6wH'>"ng6V m6zdVxg5#?-z+-|6I 'Y#'aG3teYJ1ญgy#To3%vJ)h(X` F@T8c"_d#Oz)B&O=1 0o'+2mcKuuC4P"poGo6۹ Ϭ#| ecIhCN  fOfN3,Moy֖ӭŧu-m1=Yyjo ʬu {_y(A_Io|vVjc1Lю f2{76H.U=SSN 9w*oT:ejf3d-=I {j|}'ܡ;-aJ@le7^bU3w|\d5w0BB2 ߉Owaap}3 i"Scxi2gt S,Zc(nk^/e6;_;R0I ʿxm/W^3gMo _% }suz ݒao55{-hw?t7BHZWu7Dr^:8Bp\.\_|,+H) nB:@`=)%h+tz޲$;adf}jdҋhS Z0w6:twmpƦVw9a82޾Z 勭xU)8Sd`$dw?QZ-=zoJKh8q/_ `R 3Q`0wJ}m7! cX`ǞDxQbIut}$#y{A2uN;  k Ki0Ԉ:>QV]^@Gv93>q)~\v^ = H|OʮNCq$pw!CW1Un*xP"W%j/ *-9wvUfdfy67SoPО,K: pgC6oOL3 |# 9 >zuZ&|L8.(M 71XC:T2/qfP4rȃrVĢKS֢!ς(‰Uz:>X|IF--+-RGPj'Bۂ(sNc'B>.YíLE~i`5jY yDQYt<U [ZoF5|*WۺnadP՝ƻQ;yA-9<׏'-$:)Q;܍D4n\^+"_@@:~99[675̛yruN4sW\j6&P6}BEѨgoXcON5Ψ#c,PWU&MsW,-tVa};]Ec6pI:]8uƐuFZ9o:Oeezӡ9>mR gYZ {{7g% dGoedel_IncompletenessGoedel_Incompleteness.Derivability_Conditionsdocument.tex7zXZִF! z ]A-MՋhvG"uIBm5֕4G"}5} u4?sCd%XQwr0LSeAV`˾o P)NldTỶNZZZcP9:عL v>-1/СJJ< Ǯe&,-zP 6FH*y~0 5Υ mpUc,|G} FmKT@O^0 s@)LJ^@s"SLpg *(V5mF2(!AQ JRҼ9uK4v6xU8u㵲{9w#/ƈSr.4|7E9CD]6$|]ɥGd组 ?k=0f2fE墷Z ^0*s=G$鋽(Y4G:MR`:z{G1Avس>2?l]m@ڿ_]no=EB y<6Q_ьpAeII!4++cRA\(LCRw9k4ՏuI|-`c~^RE;y˂ [<`ih9@ " GyQ&d6 -{ cpͫ:L{8 NT`'Kl )1a)c:^昛tI@Lym49UXrYG3Utllm$u!_egtNsé :Ry칯ДE~ڠ?T#= @6#.qj̙Uzim ݒ0r4&;9}KI5QSWA I`m"Э/ *Bj;q[bSYIpޢ [%qacŕDr9a;0 Pw(K/tsB{㔽>^""7bdY7]8:L+P,ÅMm .'|ՋgMƝ&m) Le ɸ Z6%\?(|Fx"Jjy"t>NeNy^wE{i|$7ıL8SI[1lcڼC鼵3BvtezyM(H>ƪ j( 6WwMD87 ccU??ߠq ^8]W 0CBLw Ro'cF:\bāT_d*NB}knU ,F4xKe٤u5mKv!֑X"{M&N xzb^gOOt _[̨`{JKw,g?du:[j ,dmi.u IqqZW#pIq/ O<3Y0hՐ0 oWzEJO<R6ZߺzP#X1Xᄮ\S!aGmi"  Ywǻ䢑QN!ioʁE1>K,KMI<'El?p<F5R/FJaA(3%P?vhϹli"R6hq-&{(p@T{ҲC(ǣ=EXmzv|]W?GG4BLMf:8VqG%׬if9v ʘh=&VK'<]C0 yĹYovڞf*Dl%Fe*ҨnseW.? uteltxy{H2!'p 9 q1|\FdWՊ$~&JlgQcbNT gYZ|;ͯZW:0Q^!g\Wh@|c#NrNgHVJxEoBE*g>J.+Ɂ2֖Mk¶o*\sǸ].8?J$"-[ڨ}DFlծLҨ hlG^oI쬽[w^1(9+FvnH^TW K㬜ibu %3-^nIt`\?SμnEwRDVxѡj7ĺyAnZ:LM/E*c?s*>M!f<*]y=Hp|˒q`LDIJZK7~ ;n 6aUe47f6wńf^>doTУAsnÃ!DNƫ6\a5 F.U]=K-LBtPYk:>  Wqeؔvf~: NIaVbG9fH{T0O?J*q4S$:ןZ0:XӇYQTqG6iMVgd$K"YM\cS`I{A`WIL,4U0w>ݮQ{ >: Ʈ58jM띰BU_xR8Z+]8e8fO`k/[ZVB>K ԯ+{L 1sjk ~Oeb{%wܧ apͅXrK~lmz5Kc1 [}RUQ`HJs4K`ˌO=t-U`3'IDxzN7W.[\S A] |[cdWқań3Fu¹X+]P2K0p{T[Xf=K/-8\[#Yn.uu?ʡ2*f W,#O7x"GCةo C+eKtj(ٴw5GJSrV_)K%+&V-`oov[! 5~IBΓA dbYkt&y_= IyAHuh}e!uލ4uIq-G3]=Q%vc@Z٫O31h-( ^b\͕bC!9enk]_2n> "V5{>׭cuWAHNČE!gӵcih#aT]>b xtEftinԪͩiD>XW &4luݖ-+Ыh;pxҊ;ݼOÕ0^zl 4%b! ?|7uPFjgXw%\ev:܀3/3W?ovX)?YV{]$<̼A[j&kE: DމT],Z!5 Wd.J vb'x8&,͓c)*#{# 1hDv) OYC%?JF^M٘tsY]iS|yA@DɃFXګ$#mO|)$aWj"x\D;5$|-3?1M0`QFiuHqL{48v/]k|݆cL$6p t.4_BÖv&+c JtFeÏ=%#4䭛@7m;2DS?ϻ^gBc-Kob粑saEd>S R$FTHp) ׀NпU̱l/G l$jo7(^DńɈ? 葂Շ2.oh2|Ζ>cH'H XsJKX֒bJ*GM"hOaC oYBg-EH[Ξm/jo ؄>J; ~8tմ%OD!0hV4Nb/7H< JXUGUx0>&u%ԑE{L )*dQBNyy}5VԱ C}IK92u"%w;XJK"`_+4I;L_C] H:'wU%cYЮoKeLq! &am'9Kֺۤ CʗxUFdKVޕҨM\NX}8{,Jm2HP(?4nĞa  kAۥ?aapt>ynWS=w{{ͯ$azRx]VW0y5Նjn;K{NxQAl6?u\qh W/Y71|p@Ũ?>u_; % L#ZJ!4'ɳFĈQ>8ř#.k݀lsRa4TU<tXFkG#.{bT% Y9(*&sf΢ z|@I"g lwR16GMڠ+=20ց-Z| ufuE(zz;jD~I|%CE[d=;{XkpK F%pi5ơ* Z႕X&Qˍ?KcڿʗS>Ow~[_Pf5!Pb7h3 #4v0T1ށ_A9`8> dGH] U||.ܤ3S}mߍR#ޮ'UI˽*Nnaxʙ)NVaZ&Ppu q H=?U,.J2R\EEk@A"J]?mJܷAp#} ,:@aK:RFw0#:Ga@z ϓorRg g3bx~8Cl*aȆG)۲ttw\ƎX\)q-)$9/Ɣ<8 |S#皆좞FHLzջYFФre-գ͡ ΏyL6ap3лܫIl`ET>ll"p,ayoDA:g>똢¸;x^=(Ǘ.z1`S6%_t_$\i?U\6HRZU{]vQHuVeC#1ڇXEв|wSXcBF:e=HVPN􆼟/;]w\v(v۠+cgYZ  T 7[% Goedel_IncompletenessGoedel_Incompleteness.Jeroslow_Originaldocument.tex7zXZִF! ]A-MՋhvG"uIBm5u ,ٲ P~DY CMi +GihFMV&th~_?To3 .szέh=KDCOe?=r}ʏ=ڊn\ujiKy̆QGo̩B.G4np=xSՉdpW/e(JݐQNAjY`CrsYB ~pgTFfASB*gJF'M[ ɓ[}9bNg A M \7d =`UPXw_U1~O ~F;ɢV>^kwn\PzJ!g#"1Jk$pFGɟVZu*v׃NuW|eWD_N$WԇjfV{d_#R b cYu*Ox7Z 0exۧ*Hz:t}o0'?am^n Ky2N$~U(e;3-)znrXH2-: !כEՂ3Ce\`SrÛ%v&ޘӇY sl+9o`n1^!6 *ojq.U:a=L5"ZF]׳97a}P.€J#]Ua[2iz|뻲EGCŞC um:G0YxXtailߺ鲹[:v1a^Ɠ!փ^0A  ) [ĈI]SEx?#@W[8<(&Q$j0=F2khS(Òn^Rt^g7tNGU(Cy u(jd:y+!p'r뻒BqM`~ T9S%8Z*nm/H.Yoœil+.VAC?-oq [0<8-?ߎE9^.⎙bsq 7O!q&oP #O)a9'ٵ&/)+پ]todC5<\K DO~$2Od|^-hF7ЫF=;>a˗6k7e7 x?j7%qj_6mqףe1ڿn^htt=E̅U[TF) AcmA&=c%bPmC^*ev'Lom !k 7+dJ[!LCGo7 w!'L#Xn,c;i/=!C(7SUu'̩qـ0kY`M2&]2*5 i܂.X MsA<%1RK|`6;4 >0$ܢRbrdd 9T%  7U% tGoedel_IncompletenessGoedel_Incompleteness.Rosser_Formuladocument.tex7zXZִF! Z r]A-MՋhvG"uIBm5a';[%f >鍷 _О}FNŝ!iIkrSy:.l> H]NO䗜,-M,nV{\g^ݮwև(xvRPV(_Gn  v ˬ Co;A{: Ёi3kt]]s-s|y'yh4L"1N+Z ߟ1)ȶKMœ,ܝ5RXzڷ+HLo9~yqg&M]$vK|jSK.QRm :q _:CŤrm1i'֘U_N-%ܣCLW*2v" 2{Kq53^D۴0)j0 -胃eVYLB ;b["T6f" 7~;SNkP5Ne.m0՚v|ɶ%ͅJ#k  5_"seձ@`rcRj{,M+{,*J)N%T'2tcyc8,QY ")5 vИUVpjTӼEmLrԣ6 qA)᮱>4avBf&cZ09ZqzbK640sхNy,0(u2ҸwkܭM;sP)Y5d Ә+ߣ//J nGLbRzЫ|H}!Ժ?iBVI#$ԌoIz_^:ɹ[]f z#HL/'`VНe+?^'}*hNh7Dyv _T"$,f0c+V2NTŎ~Ʉ&ӘjɎ}≮MDjϿ;6d0~S`LNLD2. L9 ˉNUQLSee0Qn`[4Wb<8+ zC&5]y-s/Ѓq5~B9:io'or"/h.*.> 9ZD>/G )EPєXKLo/~1C)Q.ʭ9Ǵ m) jgfN,,Dd8)t3*.ލ`*F1wl8+T"=GfG댏)9'qVk%m"IY}K*ޱ;WA}z:*?F9,;%Q@98 t48ӮoF~h "¾ؘuϱ(vhFk&yp;>!}X4ɥyt}ٚ`5 NA ,c#än@k&i+Ax7Mw^/KTRjyQ2 !gώwnǚ]B;G+CcG'A- d2]-?Ua ف Y9'.Z-DJkI:9"䞡{lK_64PDžy"EegVY'XIx],19ǀzL_q#ص2# u_mؿPI օPY֣>.;'`U=]Lg9NQXd{!?d2gާ IN pI}><7buI Qhh gYZ - 7m% 4Goedel_IncompletenessGoedel_Incompleteness.Abstract_Jeroslow_Encodingdocument.tex7zXZִF! J ]A-MՋhvG"uIBm5y6C]mĹ潀ƆV}YD$cRZyjKW#wvq^|gAr 0ji(9 L16DӱnpubS!Afla?oz[KZ1; k|>91 ff*}i)b\,gcVzgu!g ܩ@+ פ1!%mE/2a% ۄU i,IV՚T JZtG?dM~xaX z5n5JecL,-ް8#< \g>f>=_W7YX;lM3A Uk"{y[/$EHeZByEYwgϥNc5MUa dv 1'% B)@̫{k."bz 4T{&M9jq:'@@n.UD[8u4 'bH HkprZ{qQj]z9t)ܓtrYjca-!oqA/ %mO:4ΉĖkt[⇈Ǟ(s@[1+wWJ {IUAOC%y GIpDRS0|A J !3xgq (JP\cz`.$d$Wwє @EU8<Sʂ_Fu^LQmY"h,Ÿ]oKZ*lj9ǃ(xOԲ*%˯1qЅ깉C~I2˫V:Կa8sܘK`m>0czªEknfԚw5;HVŤ$`F,n?quTp^$oޱ2 "6EXbI\FTauY4^ne_9W$b'a?γ\w0. 6nt6!miT-C&KHtp|4U܋)&KxdC|>6>pn(2$agCZk]j;)Y~y6>, QxI.-˕N/?}snF|ߑK՛ cC :P icrEtܓ 'tSхJrenbt_TŘȭZU[\Fp=Qm  ? gx!6 'u_d ]I pϒ+<{fc2)PO]ϖF?i8 /K!кjVRm.GRu[s9IT"Q;jq[?{@<1pGz jEah傠KDD 2Ykj׬Fq浓b-bI-rADNҝ5kZ.rSNLş=>6B͆T ĖSuAίWj+v֝Ŧ6?.yNh@=:]X2^L o)<9 L rZ^B/n-!:G1|U]npV!Mn!)Owƺ5>t\OF;5L/ Sr,~R @)w0gF"4# Yy4+\^k(o!SZڃWхU^$ῇr#<{lHx.ST(m 1DlG\M5{@"7WLyٹ}sD( kcXtG2gȽ.$0z}T'B Eoyt0"A0iz 7NGf؆_3ũTr:x0-71vMUnؒ Ȫ-6 =:@+S 6 54J>DhAMv@c#P5MG&W$LhGPFB$dIU$8!»`I $*!uV+OqU-QSHpm[˖ 7m:F:P#m^ݪa6SN]Y5k!jaUKB 0vIQ-%=:P"np2r4{2&ꥴL˒0C.N8Tez?]tHc8-"L"Y֬`GTuՋOY_7<ab^Y.^gn:> ';1@R%5b-r#3ӥ>*|WX nHdzSqT!eӅ2mrӟ䝗""xqLV&k}$FۙٲCԮFW_j^l-)qS'x2kTeen_|d8mzWqj!i2 @j744Vrx s@nl.M..{0BvX1~X}Ɏ4 jޢ47F2 U!t9/f|1fO%5} M]WїM:T0`_uzm]H#6μ/uISBU6S,;ٳ5nmRav['a';"9dklû@OInNrw$bCqyS`ChZsUV">Hħ D1&豰+foe*دe7yOzpz )di狧 J,KB}6z5nQN}%e }M{|5~R'UGzH<+1Ӟ-]YgLō@9HL&z7i RQ7nr;-fhpAcЖlzN6JG(Ik`bC;LrO6&{5 m}Di>)4u? -aiTX>twVSDWIbU|7g#5<Nu2oy%&s0e588b&;ZqIEDoS?B@G%Hs g]qGqUN$"6hc{ǻʨvߚ]pbHd0ݰ\^pu{km--6C ʹ'l#? 5ϋ]82e|.v#k*76u_z'}hed#v^W]8s340=]F3yR wйcK^|ﶈvN\`;XX ?qzɯgljrD ,e ߐ>t/1ʉ7v`g))hT !:lO3v7sM5vGm_w빈*CǓl{tNȵo̯uz;пqiY/մgь 󅂧G|v9k"%N265῭J.zϰ1KU}UL(XER1PNi,9ħWHqZx=" N# Ss*֒o[a5+zf&,! 5.NS ֿbI9Gb',);l046,>)E p^.;9T+Lcom7LdBʬ_轰7vn Pg;e"\&ysᨪUE܇A#ilURgԷIdC&^7 }@>1J5 !7~Y=)DNG rl3^SmdiACq%pa!%`>c#$'+I.z~F Y^MV\z_!G`vSDM`Nr/l~b8^νw$uiO1Xc|k.ܙt-ܲ x*sB7Z=yWoi' ]/貀 K{L3:בaK7e(I)EqS(SLg oH'MseX >Vr`m(9iV8r3|( tk%gSjW-Ɩj"z/uCz 2;իDrDn:y =R90P/q?uV-7ac>=K~E+Y0nF&tccw+B.pY Kf6=#=ĖҚ-ڣB:ª|YhsajlPaA|> [4Hcimy{>vǿ}:YOm?Hҷz>9v_2YK?MjhƳ, :\/ s--6/AOW]n^b}qbR\X`˨=} oGIi?]CZkw7J 3,}gYZ <<A 7E% Goedel_IncompletenessGoedel_Incompleteness.Tarskidocument.tex7zXZִF! 4@;]A-MՋhvG"uIBm5ib#3 ȗzL{;-gu87 Bm9*x9Bdy6OIPj.S럀8 c2!/9 u\RL+>MTVU{4~]7ΕyxGͲEY)cJo.P| kFC`r aU6aU:҅'QsiMq*vck>-ש vf-+}xW )GyT.mH:XڸF4ב;wI͎ )Er:xV^bٳ=vtZ'&3ّB>jhN^Ui^[۹_=r bb}h' {ۢ&HJVbiͮ"g2Ղ'Lшs-fC[ f\g"YPF*B{BWBJH٘hDn~#כee4LkE] h뢍_*[oԛC*IVO"Q$kA& jtE 5L0mӿeBK=V"HUS@ q4㒙=en`"@ \R%[\{0|q0Rku,.m>Da(s5+v#wH˄MޫL={ iyDF.VK~S7*?%# mZ-fꗱޞrqۉof`y;L5ڠ2JMEmf'&<@4Y!ֽ@Z#)\1#DjHF'}R?Qe_KuejU`St[(PWfپa+&/ӮWi݇GæUKe:V\(n#CIw1d|r 6}7{;ؐQY$bzJBa [ʖF9X*+̀ON=cqSacҎbYl( DLwBtf40N@ PuHfa=͐>%gԟU98?23&xJ,\?T8eYrg6$w;3g#$?do#qqϪ\rKZ ܙn:]QS׸Q9rG(6mG%ڵY: ]}ys>zݨ3USV9tcm,45jK >΄?voK}BjgR;N1UӜHҼTW om}Xw*s+5~f{L_m*Ujd3xJc`o!ZU N~aՇ\pF{48a}ѽWaP0"P /%eJRsRHQ?2B}7@7O*ѭsPY8x=}TTE@]Hi4g3?{h+t8`P!~j,FnuA~q+CeNrdg(CYm8ܝ+ˣ. й3I@M5;A-ZcO[~r{-=Ќ3r&e*:9P URn@TȲ >^-7{۬VM& ~`N4^b=06=9 h}*w%ɳjG$QbZZJW%B@j>n[ζZ}JG@s'B.{MIFؓ`tatݹ"FҫqQ8*F;V#$&M:zVAa "qeJJmWS%ӓ $]=%Z9Kir*mec$B4}`5G@+U ]8C"$"| )-J<!a2 Hƥf́Pi@Iƣ(Ԯܲ TqO251<='\ Vy<ꋬ=AJsh?SRɃI칆_lz҂/>4 =EXxT:Er{7X=0#v ;ֱ>xO ~d"!aBV&Nz6NX?jHh3|$gYZ `7[% ,Goedel_IncompletenessGoedel_Incompleteness.Abstract_Encodingdocument.tex7zXZִF! N]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ!Y8@*oT̽k4z?`d;(Ch1-dX={M7^Z#5íi+w{ 'r86>3oaB5P2%`(SF 7x']|RO>_icr8jOP-\T.cDCx"_mNyV)?&8"3MXjck/sz"f0N[={Jy9Aruۡb #ZC > l8'0OdbU}WJ7~A[z#:Y,T(BpҗK2QI6e6'(FκNlop HN ;coAO mb@$`/N4w<L!PSjբm!&ܦȏ ?4~٨yi#|Oؐ\Ϲ8u t Dj#!*M!T•|.F Zv ,2 @w`_Xo'rBsGg VE%mIh=IyQ4Ϟ\Fa[f+ZY.1'|zirS5RԑYN09c t?"Gbn#] ]8p&,C˳ &hw\yϒԈM %H,sM E{$9*>"ʇ p.m>"v S5wjoL~өfc@C68͎F`0`2PSKS p-0iiC N)b wQ29yd:-^\3DXٴE4I>(,HPc_LFN~PI*wU|üw|q0y JHDt( Q]<[1Px id/h?;D V7ļ M{uNs A:vo" !Sn j_DijkB(qĹ"z ,I55i1*6kRl߈k*q]7AwG% OY ت DÜ,#'[o[M+1kIz>B[REޮC6 Z$'D?m>=i0dvNIRp\iK=YtWǒ# rh|0ِXuh?<ȂB]VN5fcЛpқEQ;@2e:Y8wbr xEqK6@xXz&%ef^}էtN=>?D'cXbFha1cyEY%vW$Ouuwl0:(^ټ=s{[(5Mԕ}=}zg|$ \mc5g?vo 7E̙4z6q op%`XC)F)"$!:sV^*5KAPNWn:Atgͣ~C# 2,R_w Fs"UJeS$5@M`Hh*&7ր'^p""=W)3L ӥX'to79M\10\L؋/ p#,eT^ʲ| ܥSZ>ۖalAܝ{<Mo$-0+T7X3|^ڥ`zTj#|$e2%[ BW1./}٘,vg26Vۑ2_6K UM,vз@~{D^JOXHa1 RJ]ܫAW`dEA)l7$dze,4x|e )Aot v(smhP}i6ZcZh\y93|Qwb9g/<%/ 7\C)H'KK%c(%}L?ɨ6 P]8ݽVP/`Y ­QEm Ko#K1w 8*A,~zx.:М,!nRfKc()W]8#հXelB ,=n(?l˃մz!@?KGhooqx_x%=?T 4:F4]SJ*t=læ&HM㥇I ?Rm46Z}unXϑaS֭G@NБXAk&|Bj5<59ԁ͆x[cn*|:/R(6BO`b31Iv0])AؙpqVroܯӥk]{&t?pk4E1qH5*NİfH}>=4mlyvw7ݗyRH#.\I(vS[LXHV=dk3)\#*e8e)y'?0`ʓN' }A`yDȹ4#R̴&%VٶwGp>3ivWT f(v\tz0fd2E_VgYZ[7Q% ,Goedel_IncompletenessGoedel_Incompleteness.Loeb_Formuladocument.tex7zXZִF! ]A-MՋhvG"uIBm5&JE3Q=xȢkQ<؅2$PE?Dm>9SV,q>=GXUZqB/J 7ŸVmT9ydЍGL>K;S("4"馡&txmV\'SQK,>'T`eFAfsZ1Ok}^9qib2 B-Pg'k1<$i6 |%^axIF( $9PcCp3~ع_/ 5 "93u%|1hԆ:<)j$XjiеN&s&jW_#I)q:LTYY7rLmAa),[|J-3IFp< J>uI׳k `,~}۰Ԥ%_Ow# 4 Z} ,1TRwW'>sx+lM翝@Gj1>9±xZ:¤*9oX3qޒ,RE=zߘ[:M-YofhRjWMt!ob&V!QV~R5t!gSĈG˛ .?|"3gdz.Eڴ#$'W.i)Sh?LJDV"&zW@)ʯ'$_OnjК6-ewx]JFG~VzJ {u˻X7S*AGa ޷'" Q$y_ s<.5ldrmգM(ct24vꝄl{L.Vr8|=M)W0#ԝ w4ޠ:Xʊ?wm3go^m]5V٣ivڸN|ͫk:zU}1jwET;.,raY0x!7á#cq?)\:+֏SAy?7$s8ʑ4_"P|DI%L9I)!UifVq?ס$@/."=>^+)?c`b+.1wOUlǨb7 nBg92\Uϛ7,}R"fgK-z}*^-$2S d,PÊ7'j97&x^C 5H5ޕ0XGjӒ.3w:WdGJLsJxwgqt-.WE`n;,@CAnoܼ!eY6_˵ٓLS@v_U-F!ɣ'_+CEk)֚+ jp׏0`{*'^޾}hEHēscC׻Z:V `c <%b3_64ы@ffȢF[x~T6{*9%2Uk]-v6b{Mla_koAr< YX A6{aGaIz.&6WD"m}NqteCi.T **U!Uh!r;#iPePV{[3$pЋ@* ] ?˘r9έ1Ivԡ|^6rwkE~{M(Lp5#L/݈,7}aR!x[ֹdl$Aڳ<\]D/!7Hiw2 ᣁ7N<FI5.CQb--E8!mo¦Ts5tuJF@jO0[y_@}a̕ݠNbQK +Qn1e\eؑp(kYKLkLKY2bЧ  uU*ɭ$J}}d -.m$bdϷ֥D7Xg~R4(/0#]-Xn8DSV8dc1^E:-|?o{ⵧ)@E3b</}l#&>fԚ-̎ 3s،.XdU\,j`u}WK[4 ;Ǯm^3>Qr\1?2]PDY#jL>e)2c `(orXDBjQn lU..!Ē%\`B7tEIN35 9H]#KKEuaG+y#mjdYq- u\T=)r".WP,k v*G(zӾH3AY,oqktV:FsE<8Vd.>G B㻰xsTmGͻ8m^VX"HjJq2duf?nJ{CM)w"Jhji@rRoM?]*tlzg-lcW ŐsyEq(M+ʓ(ġ}+~pqbr+ߊ' 4~|z@M$Y~yH׉+0usH>_jdc'?ET!7vWkG^qQ!"d1MXQHQuRbZcֆ/C}RO~AfȵPd{.e9@2edYPڕK%)6-]C,`y4(D(0u:쀎"Wq[G FzĞDBm A2V;W ы[bqKe|8& :I{F %C} \'sP kP"LUC:1ȸE!AKm[[L%W{YaSCkU@+L  l'J"a47=/ualN>0~A \$&iphfWC?c!Y!O@q[=fVe\%/聤ֺ2E0RhTT5_I"&*uIj M@ACGU9 mF8Ki~9->11S][V QbӥM>p|᪉o*_Q߹ $ևP 1FGJYs]g&8eqYXKTY~EXh̶r_CR8zp䖙q5*6dsB 41 yLx΀2oHٛʈBjaDQl̔-9D5sQ4|D O'Q|;we۱O".hOYA 2fDD&M 4 !;{Vc؎mĂv?fWnaӺlpjrT߲BpT<fugdxF0>rBU,Lqsa`kE#%iҍ[Y' /8p,&`$Ѕh} ؕ?.G>_mzwd6`%:蒉8fV]غtTU|u ;L"t.EZI- ȥXP'TktZ>;~ƕw\h vW;.΄Ttz_)C (s֬le/ a0E_~L$=Q?!~=b%X( '0}g }"p҅fi6Uհ9'7l>=]CjUwQfP2V8)]-u 趗C"y{1N[Pb  zZlV7/|T.=AJPB}X-E[*w@;XP`*Ze v7iWUNVǫnʊN+VJy}qm'm٤1,kmfY ͤw/wgYZefcaa2afd2bd4c59f208f7448a6aac026750b6efc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 f464c42607452232245573c252000677e0fa127c23310ecca3fa3d66e273f0e065de2c97885d2a7c