Axiomatica de Peano

0123020345 6789
8 9
!")*#+,-.$% !$
/012-.34/
&'(
56789:;66<9=>?=@AB
6!C$&'(
D EFGHIJKLMINFOPFQJORSTNFUFRVFWXIKIWJYWFIJZYHRVWJYNFMPHPFPFOWVNJZYHPSTNFOWFXPYNZFHWXWHWJYWZFPNZFJ[VWHNZFJPYRHPIZ\FGNHFIZZNFOW]W^ZW
PO_RIHIHFMH`YIKPFWVFZRPFRYIaIbPSTN\FGNHFNRYHNFaPONcFUFIVMNHYPJYWFYPVdUVFKNJeWKWHFZWRFZIfJIXIKPONFWFZRPFMNZISTNFOWJYHNFONFPHKPdNRSNFOP
gPYWV`YIKP\FhJYWJOWHFNFGHIJKLMINFOPFQJORSTNFUFMHPYIKPVWJYWFNFVWZVNF_RWFWJYWJOWHFNZFJ[VWHNZFJPYRHPIZ\
iMHWZWJYPVNZFPdPIjNFRVPFdHW]WFWjMNZISTNFZNdHWFNZFJ[VWHNZFJPYRHPIZcFNJOWFNFGHIJKLMINFOPFQJORSTNFZWFIJZWHWFPOW_RPOPVWJYWFW
VNZYHPFZRPFXNHSPFYWkHIKPFPJYWZFOWFZWHFRYIaIbPONFJPFaIZYPFOWFWjWHKLKINZFMHNMNZYNZFPNFXIJPa\
6lm%nopqr!"%$n!ston!%C&%n
F
EZFJ[VWHNZFJPYRHPIZFKNJZYIYRWVFRVFVNOWaNFVPYWV`YIKNcFRVPFWZKPaPFMPOHTNcF_RWFJNZFMWHVIYWFPFNMWHPSTNFOWFKNJYPfWV\FiFZW_uvJKIP
OWZZWZFJ[VWHNZFUFRVPFaI]HWFWFPJYIfPFKHIPSTNFONFWZMLHIYNFeRVPJN\FwNVMPHPHFKNJxRJYNZFOWFNdxWYNZFKNVFWZZPFWZKPaPFPdZYHPYPFIOWPaFUFN
MHNKWZZNF_RWFYNHJPFVPIZFMHWKIZPFPFJNSTNFOWF_RPJYIOPOWyFWZZWFMHNKWZZNFzPFKNJYPfWV{FMHWZZRM|WFMNHYPJYNFNFKNJeWKIVWJYNFOPFZW_uvJKIP
JRVUHIKP\F}PdWVNZF_RWFNZFJ[VWHNZFJPYRHPIZFZTNF~cFcFcFcFcFiFYNYPaIOPOWFOWZZWZFJ[VWHNZFKNJZYIYRIFRVFKNJxRJYNcF_RWFIJOIKPHWVNZFKNV
NFZLVdNaNFFWF_RWFKePVPHWVNZFOWFKNJxRJYNFONZFJPYRHPIZ\FGNHYPJYNFFF~cFcFcFcFc\
h]IOWJYWVWJYWcFNF_RWFPKPdPVNZFOWFOIbWHFZkFXPbFZWJYIONF_RPJONFx̀FZWFZPdWFNF_RWFUFRVFJ[VWHNFJPYRHPa\FPSPVNZFOWFKNJYPF_RWFWZZW
KNJKWIYNFJNZFUFOWZKNJeWKIONFWFMHNKRHWVNZFIJ]WZYIfPHFNF_RWFe`FOWFWZZWJKIPaFJPFZW_uvJKIPF~cFcFcFcFF\
W]W^ZWFPFFPFKNJZYPYPSTNFOWF_RWFZWFMNOWFWaPdNHPHFYNOPFPFYWNHIPFONZFJ[VWHNZFJPYRHPIZFPFMPHYIHFOWF_RPYHN
XPYNZFd`ZIKNZcFKNJeWKIONZFPYRPaVWJYWFKNVNFNZF ¡¢£¤¥¦§¦¨¢\FNRYHPZFMPaP]HPZcFNFKNJxRJYNFFONZFJ[VWHNZFJPYRHPIZFMNZZRIF_RPYHN
MHNMHIWOPOWZFXRJOPVWJYPIZcFOPZF_RPIZFHWZRaYPVcFKNVNFKNJZW_uvJKIPZFakfIKPZcFYNOPZFPZFPXIHVPS|WZF]WHOPOWIHPZF_RWFZWFMNOWVFXPbWHFZNdHW
WZZWZFJ[VWHNZ\
wNVWSPHWVNZFKNVFNFWJRJKIPONFWFPFPMHWKIPSTNFONFZIfJIXIKPONFOWZZPZF_RPYHNFMHNMNZIS|WZFXRJOPVWJYPIZFPFHWZMWIYNFONZFJ[VWHNZFJPYRHPIZ\
©mn%ªt%n$oo%!
F
«VFVPYWV`YIKNFMHNXIZZINJPacFWVFZRPFaIJfRPfWVFOIHWYPFWFNdxWYI]PcFOIHIPF_RWFNFKNJxRJYNFFONZFJ[VWHNZFJPYRHPIZFUFKPHPKYWHIbPONFMWaPZ
ZWfRIJYWZFMHNMHIWOPOWZ¬
F
®FFFFFFhjIZYWFRVPFXRJSTNF¤F¬FF̄ FcF_RWFPZZNKIPFPFKPOPF̈F°FFRVFWaWVWJYNF¤z¨{F°FcFKePVPONFNFZRKWZZNHFOWF̈\
22
2
350269
424
0123020345 6789
8 9
!"#$%&'()(*+",-.+/01
234+5.-!67"+8%-9-6-".%:"%8%",!".%(;.09<!-:=&>?@A0B0.%C%?D(1
EF-!65!G8%",!".%HI(*.09<!-:D(-&>H@IH
>+5.%*;?DHJ&>?@DH@;-".$%HK(1

LG5-B/-<!-;8%6%-5.06%58M060"C%C-(%8%",!".%C%5"76-B%5"0.!B0+5;0"%.0#$%?D(5+N"++80<!-?*!6"76-B%"0.!B091
50+B60#O-5P;;2-E5$%%5QRSTUQ&VWXVYXQ?T1"%.0#$%&>?@*AB%/+5ZB+01[-A%+5C-C-+"+B6%50C+#$%;-58B-/-B-6%5?\:-6
/-]C-&>?@1

^%6%8%"8-55$%_B0<!-]0M!60"0;"%55%60.-6`.+8%"%50B+00N-".+9-]0C-B-%B6!90B%5QRSTUQ&VWXVYXQ?T-69+"N!0N-6
8%BB-".-;9+/B-C-"%.0#$%60.-6`.+8013"%5C+B+0-".$%<!-050+B60#O-508+605+N"++806-40.06-".-%6-56%<!--5.05%!.B05'

Pab%C%"76-B%"0.!B09A%55!+!67"+8%5!8-55%B;<!-.06G*6*!6"76-B%"0.!B091
a(76-B%5"0.!B0+5C+-B-".-5A%55!-65!8-55%B-5C+-B-".-51>L!0+"C0'"76-B%5<!-.c6%6-56%5!8-55%B5$%+N!0+51@
2a34+5.-!67"+8%"76-B%"0.!B09<!-"$%*5!8-55%BC-"-"M!6%!.B%135.-"76-B%*B-AB-5-".0C%A-9%5d6G%9%:-8M060C%C-
e"76-B%!6e1
EafF-!68%",!".%C-"76-B%5"0.!B0+58%".*6%"76-B%:-;09*6C+55%;8%".*6%5!8-55%BC-80C0!6C-5-!5-9-6-".%5;-".$%-55-
8%",!".%8%+"8+C-8%6(;+5.%*;8%".*6.%C%5%5"76-B%5"0.!B0+51

A0B.+BC0d;B-.%606%50A090/B0A0B0C+]-B<!-%5!8-55%BC-:8M060g5-eC%+5e;%5!8-55%BC-C%+58M060g5-e.Bc5e;-.81(%550
8+/+9+]0#$%AB%NB-C+!0%A%".%-6<!-.-6%5!65+5.-60C-"!6-B0#$%;%<!09"%5A-B6+.-B-AB-5-".0B;6-C+0".-%!5%0AB%AB+0C%C%5
5d6G%9%5h;:;i;j;k;l;m;n;o-p;.%C%5%5"76-B%5"0.!B0+519*6C+55%;"%5509+"N!0N-6.06G*6%B"-8-"%6-5A0B0%5AB+6-+B%5
.-B6%5C05-<qc"8+0C%5"76-B%5"0.!B0+51>(76-B%56!+.%NB0"C-5"$%.c6"%6-5-5A-8d+8%5;0%8%".B`B+%C%56-"%B-58%6%e6+9
"%/-8-".%5-"%/-".0-%+.%e1r!-650G-;A%B-4-6A9%;%"%6-C%"76-B%C-`.%6%5C%!"+/-B5%s@

t%9.0"C%0!50B0"%.0#$%&>?@A0B0%5!8-55%BC%"76-B%"0.!B09?;.-B-6%5-".$%iK&>:@;jK&>i@;kK&>j@;lK&>k@;-.8155+6;
A%B-4-6A9%;0+N!09C0C-iK&>:@5+N"++800A-"05<!--5.06%5!50"C%%5d6G%9%iA0B0B-AB-5-".0B%5!8-55%BC-:15-<qc"8+0C%5
"76-B%5"0.!B0+5A%C-5-B+"C+80C0055+6'

59-8M059+N0680C0"76-B%0%5-!5!8-55%B1
22
2
350269
024
0123020345 6789
8 9
!"#$%&'#$#()*#$(#+#$,-$()./$/*$0"+)$1)$2$/!'//)+$3$!"$)!*+)4$5$3.#6+#"#$#'."#$3.7$"!.*)$/)8+$#$/*+!*!+#$3)
')9!*)$$3)/$0"+)/$#*!+#./4
$
:;<=<>?@=A><B><@CBDEF=
G
H"$3)/$IJKLMINOPQORQISL-$)$0&*.")-$()//!.$'&#+#"*$!"#$#*!+7#$"#./$&#8)+#3#$3)$T!$)/$3"#./4$U&$2$')'.3)$')")$)
#V.)"#$3#$.3!W1)4$X#+")/$3&$!"#$#Y&./$3*.3#-$#')"(##3#$3$')"*Y+.)/4
5$/.6.%.'#3)$.%)+"#&$3)$#V.)"#$Z$2$T!$*)3)$0"+)$#*!+#&$()3$/+$)8*.3)$#$(#+*.+$3$,$()+$".)$3$+(*.3#/$#(&.'#W[/$3#
)(+#W1)$3$*)"#+$)$/!'//)+4$\//."-$()+$V"(&)-$]$2$)$/!'//)+$3$,-$^$2$)$/!'//)+$3)$/!'//)+$3$,-$*'4$_#+#$/$*3+$"&)+$)
#V.)"#$3#$.3!W1)$2$!*.&$V#".#+$)$V"(&)-$)$T!#&$$̀$a,-$]-$^-bc$"#/$#$%!W1)$N$d$$e$$2$")3.%.'#3#-$()3)f/$NgSh$̀$S$i$]4$U*1)-
/$')"W#+")/$')"$,$$#$/*$0"+)$#(&.'#+")/$+(*.3#"*$#$)(+#W1)$3$*)"#+$)$j/!'//)+j$g/*#$)k#$#'(W1)h$)8*+")/$Ng,h$̀
^-$Ng^h$̀$l-$Nglh$̀$m-$*'4-$$!'#$'6#+")/$#$T!#&T!+$0"+)$(#+4$_)+*#*)-$)$3.#6+#"#
$
$
V.8$!"#$%!W1)$.9*.k#$NOd$$e$$(#+#$#$T!#&$1)$2$k+3#3$T!$*)3)$0"+)$#*!+#&$S$()3$/+$)8*.3)-$#$(#+*.+$3$,-$"3.#*$+(*.3#/
#(&.'#W[/$3#$)(+#W1)$3$(#//#+$3$n$(#+#$Ngnh4
$
$$$$$$$$$$o*+)$3$!"$()*)$3$k./*#$/*+.*#"*$"#*"Y*.')-$()3")/$+%)+"!&#+$)$#V.)"#$3#$.3!W1)$3)$/6!.*$")3)d$H"$/!8')9!*)
p$q$$'#"#f/$KSPrsKtL$T!#3)$Ngph$q$p-$)!$/9#-$T!#3)$S$u$p$v$NgSh$u$p-$)!$#.3#-$T!#3)$)$/!'//)+$3$T!#&T!+$&"*)$3$p
*#"82"$(+*'$#$p4
o.*)$./*)-$)$#V.)"#$3#$.3!W1)$#%.+"#$T!$)$0.')$/!8')9!*)$.3!*.k)$3$$T!$')*2"$)$0"+)$,$2$)$(+)(+.)$4
)$V"(&)$#'."#-$)/$0"+)/$w"(#+/$,-$^-$l-$b$%)+"#"$!"$')9!*)$.3!*.k)$T!$')*2"$)$&"*)$,$"#/$1)$2$.6!#&$#$4
5$(#(&$%!3#"*#&$3)$#V.)"#$3#$.3!W1)$#$*)+.#$3)/$0"+)/$#*!+#./$-$"#./$6+#&"*-$"$*)3#$#$x#*"Y*.'#-$+/!&*#$3)
%#*)$3$T!$&$()3$/+$k./*)$')")$!"$"2*)3)$3$3")/*+#W1)-$'#"#3)$)$yzsLPLOPQO{SPr|}LOyIsQM~sKI-$)!$RKSKLOPIO{SPr|}L
KSKsI-$)!ORKSKLOPIO{SPr|}L-$')%)+"$V(&.'#+")/$#6)+#4
9#$R$!"#$(+)(+.3#3$T!$/$+%+$#$0"+)/$#*!+#./4$H"$3#3)$0"+)$#*!+#&$()3$6)7#+$)!$1)$3#$(+)(+.3#3$R
_)+$V"(&)-$/9#$R$#$(+)(+.3#3$3$!"$0"+)$#*!+#&$S$/+$/!'//)+$3$)!*+)$0"+)$#*!+#&4$U*1)$,$1)$6)7#$3#$(+)(+.3#3$R-
"#/$*)3)/$)/$3"#./$0"+)/$6)7#"$3$R
$
5$_+.'w(.)$3#$3!W1)$3.7$)$/6!.*d
$
22
2
350269
24
0123020345 6789
8 9
!"#$%&$'%()*#+,-./0,1,230,456457.808.,5.9.5.:;.,0,:<3.56=,:0;2507=>,-.,?,@6A0,8.,1,.,=.B,0CD3,87==6B,6,90;6,8.,6,:<3.56,:0;250C,E
@6A05,8.,1,734C7F0,G2.,=.2,=2F.==65,HIEJ,;03KD3,@6A0B,.:;L6,;686=,6=,:<3.56=,:0;2507=,@6A03,80,456457.808.,1>
M050,N.5,G2.,6,M57:FO476,80,P:82QL6,D,N.5808.756,I230,N.A,0837;786=,6=,RSTUVRHWXYW1YREUJ,K0=;0,6K=.5N05,G2.B,8080,0,456457.808.
1,F23457:86,0=,F6:87QZ.=,.=;742C080=,:6,.:2:F7086,86,M57:FO476B,6,F6:/2:;6,[,86=,:<3.56=,:0;2507=,G2.,@6A03,80,456457.808.,1,F6:;D3
6,:<3.56,?,.,D,7:82;7N6>,\6@6,[,],^B,7=;6,DB,;686,:<3.56,:0;250C,@6A0,80,456457.808.,1>,_=,456457.808.=,K`=7F0=,86=,:<3.56=,:0;2507=,=L6
8.36:=;5080=,465,7:82QL6>,a63.F.36=,F63,23,.b.34C6,K.3,=734C.=>
,
cdef"g#$h>,i:;5.,6=,RSTUVRHWXYW1YREU,:L6,F6:=;0,.b4C7F7;03.:;.,0,097530QL6,8.,G2.,;686,:<3.56,D,879.5.:;.,86,=.2,=2F.==65B,0,G20C
456N05.36=,0@650>,-./0,1,.=;0,456457.808.>,j07=,45.F7=03.:;.B,8086,6,:<3.56,:0;250C,EB,.=F5.N036=,1IEJ,4050,=7@:797F05B,0K5.N70803.:;.B
0,097530QL6,E,k,HIEJ>,i:;L6,1I?J,D,N.5808.750B,467=,?,k,HI?JB,/̀,G2.,?,:L6,D,=2F.==65,8.,:<3.56,0C@23l,.3,405;7F2C05B,?,:L6,D,=2F.==65,8.,=7
45m4576>,_CD3,,87==6B,,=.,,,=242=.536=,,1IEJ,,,N.5808.750B,,,7=;6,,DB,,=.,,0837;736=,,G2.
E,k,HIEJB,.:;L6,HIEJ,k,HIHIEJJB,467=,0,92:QL6,H,+,^,n,^,D,7:/.;7N0>,j0=,0,097530QL6,HIEJ,k,HIHIEJ,=7@:797F0,G2.,1IHIEJJ,,D,,N.5808.750>,,,_==73B,
0,,N.5808.,,8.,,1IEJ,,0F055.;0,,,0,,,N.5808.,,8.,1IHIEJJ>,M.C6,M57:FO476,80,P:82QL6B,;686=,6=,:<3.56=,:0;2507=,@6A03,80,456457.808.,1B,62
=./0B,=L6,879.5.:;.=,8.,=.2=,=2F.==65.=>
,
^0=,8.36:=;50QZ.=,465,7:82QL6B,0,o74m;.=.,8.,G2.,0,456457.808.,1,D,N`C780,4050,6,:<3.56,:0;250C,E,I80,G20C,8.N.,8.F655.5,G2.,1
N0C.,;03KD3,4050,HIEJJ,Fo030p=.,o74m;.=.,8.,7:82QL6>
q,M57:FO476,80,P:82QL6,:L6,D,2;7C7A086,=63.:;.,F636,3D;686,8.,8.36:=;50QL6>,iC.,=.5N.,;03KD3,4050,8.97:75,92:QZ.=,r+,^,n,s,G2.
;t3,F636,8637:76,,6,,F6:/2:;6,,^,86=,,:<3.56=,,:0;2507=>,
M050,=.,8.97:75,230,92:QL6,rW+,[,n,s,.b7@.p=.,.3,@.50C,G2.,=./0,8080,230,5.@50,K.3,8.;.537:080B,0,G20C,36=;5.,F636,=.,8.N.
0==6F705,0,F080,.C.3.:;6,S,u,[,23,<:7F6,.C.3.:;6,v,],rISJ,u,sw
,,,,,i:;5.;0:;6B,:6,F0=6,405;7F2C05,.3,G2.,6,863O:76,80,92:QL6,D,6,F6:/2:;6,^,86=,:<3.56=,:0;2507=B,0,973,8.,8.97:75,230,92:QL6,r,+,^,n
s,:L6,D,:.F.==`576,87A.5B,8.,230,=m,N.AB,G20C,D,0,5.F.7;0,G2.,8`,6,N0C65,rIEJ,4050,;686,E,u,^>,x0=;0,G2.,=.,;.:o0,F6:o.F73.:;6,86=
=.@27:;.=,8086=+
I?J,q,N0C65,rWI?Jl
IyJ,z30,5.@50,G2.,4.537;0,F0CF2C05,rWIHIEJJ,G20:86,=.,F6:o.F.,rWIEJ>
i==.=,867=,8086=,4.537;.3,G2.,=.,F6:o.Q0,rWIEJ,4050,;686,:<3.56,:0;250C,E>,I{7Ap=.,.:;L6,G2.,0,92:QL6,r,967,8.97:780,465
5.F655t:F70>J,a63,.9.7;6B,=.,Fo030536=,8.,[,6,F6:/2:;6,86=,:<3.56=,:0;2507=,E,4050,6=,G207=,=.,468.,8.;.537:05,rWIEJB,6,8086,I?J,0F730
87A,G2.,?,u,[,.,6,8086,IyJ,0==.@250,,G2.,,E,u,,[,|,,HIEJ,u,[>,,\6@6B,,4.C6,,0b7630,,80,,7:82QL6B,,;.3p=.,
[,],^>
22
2
350269
124
0123020345 6789
8 9
!"#$%&#'()*+,#-#"#.#/#0#1(2,#3,%4)5,#6#,#1,)2()7,#3,8#)9%:;,8#)&7(;&58#1<&%&=8:#(%&#>?@ABCDEF#,(#>GD?>>HIJ3:#:K:%:)7,8#3:#0L#M
),7&*+,#(8&3&#N&;&#(%&#7&K#8:OPQ)15&#6#RSTU#SVUWUSCUWXU#,)3:#8:#(8&#SC#:%#Y:Z#3:#-RCX#N&;&##5)351&;##,##Y&K,;##3&##'()*+,##-##),##)9%:;,##CL#
[##:K:%:)7,#SC#L
#
\]^_àbcdê^fghiajhak_bcd^è^lmfendo^l_ign_ao
#
M#&35*+,#:#&#%(K75NK51&*+,#3:#)9%:;,8#)&7(;&58#8+,#:p:%NK,8#3:#'()*q:8#3:'5)53&8#N,;#;:1,;;Q)15&L
r&;&#3:'5)5;#&#&35*+,U#'5p&;:%,8#(%#)9%:;,#)&7(;&K#&;s57;t;5,#u#:#3:'5)5;:%,8#&#8,%&#u#v#C#N&;&#7,3,#C#w#.L
x5p&3,#uU#&#1,;;:8N,)3Q)15&#C#/#u#v#C#8:;t#(%&#'()*+,#-"#./#.U#-RCX#y#u#v#CzJ1<&%&3&#{8,%&;#u{L#|K&#8:#3:'5):#N,;#;:1,;;Q)15&U#&
N&;75;#3,8#8:}(5)7:8#3&3,8"
R~TX#u#v#T#y#>RuX
R~VX#uJJ>RCX#y#>Ru#v#CXL
r,;7&)7,U#u#v#T#6U#N,;#3:'5)5*+,U#,#8(1:88,;#3:#uL#|U#8:#1,)<:1:;%,8#u#v#CU#8&s:;:%,8#,#Y&K,;#3:#u#v#>RCX"#N,;#3:'5)5*+,U#7:%=8:#u#v#>RCX#y
>RuJJCXL#87,#),8#N:;%57:#1,)<:1:;#u#v#C#N&;&#7,3,#C#w#.#R:#7,3,#u#w#.XL
$8&)3,#&8#),7&*q:8#3:'5)575Y&8#C#v#T#:%#Y:Z#3:#>RCX#:#Ru#v#CX#v#T#:%#Y:Z#3:#>Ru#v#CXU#&#5}(&K3&3:#R~VX#8:#:81;:Y:#&885%"
R~VX#u#v#RC#v#TX#y#Ru#v#CX#vTL
M885%U#&8#5}(&K3&3:8#R~TX#:#R~VX#,(U#:O(5Y&K:)7:%:)7:U#R~TX#:#R~VX#3:'5):%#N,;#;:1,;;Q)15&#&#8,%&##u#v#C#3:#3,58#)9%:;,8#)&7(;&5
O(&58O(:;#u#:#CL
M#%(K75NK51&*+,#3:#)9%:;,8#)&7(;&58#8:#3:'5):#3:#%,3,#&)tK,},##&35*+,L#x5p&3,#&;s57;&;5&%:)7:#(%#)9%:;,#)&7(;&K#uU#&
%(K75NK51&*+,#N,;#u#&88,15&#&#7,3,#)9%:;,#%)&7(;&K#C#,#N;,3(7,#C##uU#3:'5)53,#N,;#5)3(*+,#3&#8:}(5)7:#%&):5;&"
RTX#T#u#y#u
RVX#RC#v#TX#u#y#CuJ#v#u
[#N;,3(7,#Cu#:81;:Y:=8:#7&%s6%#Cu#:#KQ=8:#{C#Y:Z:8#u{L#M#3:'5)5*+,#&15%&#35Z#N,;7&)7,#O(:#(%&#Y:Z#u#6#5}(&K#&#u#:#C#v#T#Y:Z:8#u#6#5}(&K#&
C#Y:Z:8#u#%&58#R(%&#Y:ZX#u#L#M885%U#N,;#3:'5)5*+,U#V##u#y#uJvJuzJ##u#y#u#v#u#v#uU#:71L
$8&=8:#5)3(*+,#N&;&#N;,Y&;#&8#N;,N;5:3&3:8#st851&8#3&#&35*+,#:#3&#%(K75NK51&*+,#3:#)9%:;,8#)&7(;&58L#|)7;:#:K&8U#3:87&1&%=8:#&8#8:}(5)7:8U
YtK53&8#N&;&#O(&58O(:;#uU#CU##w#."
M88,15&75Y53&3:"###u#v#RC#vJX#y#Ru#v#CX#v####:###u##RC##X#y#Ru##CX#
,%(7&75Y53&3:"###u#v#C#y#C#v#u####:####uJJC#y#C##u
:5#3,#,;7:"##################u#v#C#y#u#v###C#y####:###u##C#y#u####C#y#
587;5s(75Y53&3:"##u#RC#vJX#y#JuJ#C#v#u##L
[%575;:%,8#&8#3:%,)87;&*q:8#3:87:8#'&7,8L#[#K:57,;#N,3:#1,)853:;t=K&8#1,%,#:p:;1415,8#8,s;:#,#%67,3,#3&#5)3(*+,L
22
2
350269
24
0123020345 6789
8 9

!"#$%

&'()*+,(-./0-1,2.'341')25-10)3-).31,(46)140'1-7'*+,(-,1(-0-089:'(,2,2./0-1,2.'341')2;<=()1-0,2>4-;?
0-.,1(,>4-=<--2@1-A-1-0,2;BC=DB5'1'2)E.)F)@'1>4--G)23-HI83'7>4-=BJB;BKBHL8-23-@'2,<()6M2-3'0N?0>4-=?0'),1(,>4-
;--2@1-A-M2-=BO;5'1'-G51)0)1>4-2-3-0;BC=9&.,3'*+,;P=B2)E.)F)@'>4-;C=,4;Q=9R,1(-F).)*+,<3-0M2-5,13'.3,;C;
SH5'1'>4')2>4-1;<HI89T05'13)@47'1<;BC;BKBU9V-E4-M2-3'0N?0('(-F).)*+,>4-UC=5'1'3,(,./0-1,.'341'7=WU9
X,0-F-)3,<5-7,'G),0'YDZ=WU)057)@'>4-=?24@-22,1(-'7E40./0-1,.'341'7;<,42-['<=Q;BKBUQUS;<7,E,=OU9
&22)0<U?,0-.,1(,2./0-1,2.'341')29
R1,A'1-0,2'2-E4)1'251,51)-('(-2N\2)@'2('1-7'*+,(-,1(-0
;C=>4-(-F).)0,29&51)0-)1'(-7'2?'31'.2)3)A)('(-9

]^_`âbcd9efgh=ijkjljmhmnLoV-;CB=B-B=BCBHDB-.3+,B;BCBHL
pâ_qrs`btu_vV-;C=<=BCBHB-.3+,=BJB;BKBwDBHBJB=BKBgDB7,E,BHBJBe;BKBwoSgBJB;BKBewBKBgo<5,13'.3,;BCBHL
x431')05,13'.3-51,51)-('(-(-1-7'*+,(-,1(-0?>4-<('(,2(,)2./0-1,2.'341')2()F-1-.3-2;<=DB,42-3-0;C=,4-.3+,=C
;9T23'51,51)-('(-5,(-2-11-F,1047'('(-,431'0'.-)1'<@,0,2-E4-9
:)1-0,2>4-,2./0-1,2.'341')2;DB=2+,yz;Hhg{lnji>4'.(,2-3-0;BJB=DB;BCB=B,4B=BCB;LR,(-0,2-.3+,-.4.@)'1,2-E4).3-
3-,1-0'9
]^_`âbc|9e}z;Hhgh~jjmhmnLofzmzB=;ngzB=hkgh=BByz;Hhg{lnByz;BhngB=;ngzB=hkghB;L
pâ_qrs`btu_v23,2-51,A'5,1).(4*+,9x./0-1,U?@,05'1\A-7@,0>4'7>4-1,431,./0-1,.'341'75,)2[\2'N-0,2>4-UC;5'1'
3,(,;WU9
V45,.'0,2'E,1'>4-,./0-1,=B2-['@,05'1\A-7@,03,(,2,2./0-1,2.'341')29,231-0,2<'5'13)1('<>4-=SU3'0N?03-0-22'
51,51)-('(-9X,0-F-)3,<2-[';I83,0'(,'1N)31'1)'0-.3-9V'N-0,2>4-2-3-0
;C=<;BJB=B,4=CB;LBTG'0).-0,2@'('40'(-22'25,22)N)7)('(-2v
V-F,1;C=-.3+,;CB=BKBUB5,131'.2)3)A)('(-<5,)22'N-0,2>4-=C=BSU9
V-F,1;BJB=DB-.3+,;BCB=BKBU9
V-F,1=C;-.3+,;BJB=BKBH98-23-@'2,<\(4'25,22)N)7)('(-29x42-3-0HBJBU<(,.(-;BJB=BSU<,4-.3+,HBOU<7,E,HBJBUSH<-('
;Qe=BKBUoSH-@,.@740,2>4-=SUC;9T0>4'7>4-1)53-2-<A-0,2>4-=SU?@,05'1\A-7@,0>4'7>4-1./0-1,.'341'7;9R,1
).(4*+,<F)@'51,A'(''@,05'1'N)7)('(-(->4')2>4-1./0-1,2.'341')2;DB=L
&@,05'1'N)7)('(-(,2./0-1,2.'341')2?@,057-0-.3'('5-7'51,5,2)*+,'N')G,9

22
2
350269
24
0123020345 6789
8 9
!"#$%&'()*+,-,.*/01&&2/3,4&.56768&9:&;</=;<>)63/46/?*)./@A>4&.&B&7:
.6C675676B6.6&>D+=<*6/46,<-)/463</40
E!FGH"IJK&LM&NOPQRRMSTR&.&B&7&M&.&U&7:&&MVNWT&&RMXOY&&.&U&.&Z&[:&&\TV\M&.&Z&]&U&.6^6[6^&]&M:&_TXNYV\T&.:&_TV_àOXbYSTR&caM&]&U&[&Z
]:&aS&YdRaX\T:&eTOR&]&VWT&Q&Ra_MRRTX&\M&[%&fTXNYVNT&.&B67&'M&YVYT̀gYSMVNM:&7&B6.1&Q&OV_TSeYNbPM`&_TS&.&U&7%
hT&SMRST&ST\T:&RM&NOPQRRMSTR&.&B676&M&67&B6.56MVNWT&NMXbYSTR&7&U&.6^6[6&M&.6C676^6i56\T&caM&XMRaǸYXOY&7&U&76^6i6^6[56̀TgT676^6]&U&7&Z&i
^6[6^6]&M:&_TXNYV\T&7:&_TV_àOXbYSTR&caM&]&U&i6^6[6^6]:&aS&YdRaX\T%
j&NMTXMSY&RMgaOVNM&STRNXY&caM&7&M&76^6]&RWT&VkSMXTR&_TVRM_aNOPTR%
&
!"#l06mn,6>D*4->.67o.>),467/-<)/*46>7-)>&76&>&676^6]%&&&
E!FGH"IJK&LM&pTRRM&eTRRbPM`&NMX&7&B&[&B&76^6]:&NMXbYSTR&[&U&76^6i6&M&676^6]&U&[6^6)56&T̀gT&7&Z&]&U&76^6i6^6)%&qTXNYV\T&7:&TdNMXbYSTR&]
U&i6^6)06fTX&\MpOVOrWT:&ORNT&ROgVOpO_YXOY&i&B&]:&T&caM&Q&YdRaX\T:&eTOR&st&POSTR&caM&i&u&]&v&i&w&]%
x&_TVMyWT&MVNXM&Y&XMỲrWT&\M&TX\MS&M&YR&TeMXYrzMR&\M&Y\OrWT&M&SaǸOeÒ_YrWT&Q&\Y\Y&eMT̀&RMgaOVNM&NMTXMSYK
&
!"#{%&'|,7,-,7*+*3/3>01&}>&.6B&7:&>7-n,&.&Z&[&B&676^6[&M&.[&B&7[%
E!FGH"IJK&~RYV\T&Y&\MpOVOrWT&\M&B:&NMSTR&caM&.&B&7&v&7&U&.6^6i&v&676^6[6C6'.6^6i1&Z&[&v&.6^6[6B676^6[06xVYT̀gYSMVNM:6.&B&7
v&7&U&.6^6i&v&667[6C6.[6^6i[&v&7[6.[0
x&XM_beXT_Y&\Y&STVTNTVO_O\Y\M&Q&Y&MO&\T&qTXNM&eYXY&\MROgaY`\Y\MRK&.&Z&[6B676^6[6v&.&B676M6.[&B67[&v&.&B&706&j&M̀ONTX&eT\MXt&eXTPtỲ
eTX&YdRaX\T:&aRYV\T&Y&NXO_TNTSOY&M&Y&eXeXOY&STVTNTVO_O\Y\M%
&
&

&
hY\T&T&Rad_TVsaVNT&&&9:&\ORM&caM&T&VkSMXT&VYNaXY`&/&Q&T&.>7,)6'Ta&[)*.>*),1&MM̀SMVNT&\M&/&caYV\T&/&8&&M:&YQ̀S&\ORRT:&/&&D:
eYXY&NT\TR&TR&MM̀SMVNTR&D&8&%
fTX&MyMSeT̀:&]&Q&T&SMVTX&MM̀SMVNT&\M&9%
hM&YgTXY&MS&\OYVNM:&\Y\T&7&8&9:&OV\O_YXMSTR&_TS&76T&_TVsaVNT&\TR&VkSMXTR&VYNaXYOR&[&NYOR&caM&]&&&[66706&xRROS:&]&U&]:&&U
]:&:&&U&]:&:&&MN_%
xR&eXTeXOM\Y\MR&\Y&XMỲrWT&\M&TX\MS&.&B6756\MSTVRNXY\YR&VY&RMrWT&YVNMXOTX&eYXY&TR&VkSMXTR&VYNaXYOR&'My_MNT&T&MTXMSY&&caM&PYM̀
YeMVYR&eYXY&VkSMXTR&OVNMOXTR1:&RWT&OgaYS̀MVNM&PtÒ\YR&eYXY&TR&VkSMXTR&OVNMOXTR:&XY_OTVYOR&M:&SYOR&gMXYS̀MVNM:&eYXY&VkSMXTR&XMYOR
caYORcaMX%&yORNM:&eTXQS:&aSY&eXTeXOM\Y\M&\M&RaSY&OSeTXNV_OY&caM&Q&PtÒ\Y&eYXY&Y&TX\MS&MVNXM&TR&VkSMXTR&VYNaXYOR:&SYR&RMS&McaOPYM̀VNM
eYXY&VkSMXTR&OVNMOXTR:&XY_OTVYOR&Ta&XMYOR%
&
22
2
350269
24
0123020345 6789
8 9
!"#$%&'()*+,-).%/0%1.0%2(/3*045.$6%7898:;<=>8?@<?A8:?B8CDEFG8%H%I%J%K8;;<G:<L:LM?8N:MOMLM?A8P
Q RST!UVW%X3Y%-3(/0%/3%Z3*3(0[)/0/3\%-./3Y.]%0/Y)^)(%_`3%a%b%H\%-.)]%+0].%+.*^(c().%a%]3()0%3d)/3*^3Y3*^3%.%Y3*.(%3[3Y3*^.%/3
H$%2%Y3*.(%3[3Y3*^.%/3%H\%+è0%3f)]^g*+)0%_`3(3Y.]%-(.d0(\%/3d3(c%]3(%/0%h.(Y0%?%i%a$%j3d3Y.]%-.)]%3*+.*^(0(%̀Y%*kY3(.%*0^`(0[%?%^0[
_`3%?:ia%l%H:%3\%0[mY%/)]].\%^./.]%.]%3[3Y3*^.]%/3%H%]5.%Y0).(3]%/.%_`3%?\%[.Z.%Y0).(3]%/.%_`3%a\%n\%o\%?$%J.`^(0]%-0[0d(0]\%-(.+`(0Y.]
`Y%*kY3(.%*0^`(0[%?%^0[%_`3%p?%I%J%q%H%3%:?:r:a%l%H$%s.Y%3]]3%.te3^)d.\%+.*])/3(0Y.]%.%+.*è*^.
u%v%w?:l%Jx%p?%I%J%q%Hy$
'.(^0*^.\%u%m%.%+.*è*^.%/.]%*kY3(.]%*0^`(0)]%?%^0)]%_`3%^./.]%.]%3[3Y3*^.]%/3%H%]5.%Y0).(3]%/.%_`3%?$%s.Y.%3]^0Y.]%]`-.*/.%_`3%a%b%H\
]0t3Y.]%_`3%a%l%u$%'.(%.`^(.%[0/.\%+.Y.%H%*5.%m%d0z).\%*3Y%^./.]%.]%*kY3(.]%*0^`(0)]%-3(^3*+3Y%0%u\%.`%]3e0\%^3Y.]%u::J$%'3[.%0f).Y0
Q\%d3Y.]%_`3%.%+.*è*^.%u%*5.%m%)*/`^)d.\%)]^.%m\%/3d3%3f)]^)(%0[Z`Y%?%l%u%^0[%_`3%?%i%a%b%u%%{]^.%])Z*)h)+0%_`3%^./.]%.]%3[3Y3*^.]%/3%H
]5.%Y0).(3]%/.%_`3%?%Y0]%*3Y%^./.]%]5.%Y0).(3]%/.%_`3%?%i%a$%s.Y.%*5.%|c%*kY3(.]%*0^`(0)]%3*^(3%?%3%?:r:a\%+.*+[`,Y.]%_`3%?:r%a
-3(^3*+3%0%H%3%m%.%Y3*.(%3[3Y3*^.%/3%HP
%
%
2%'()*+,-).%/0%1.0%2(/3*045.%-./3%Y`)^0]%d3z3]%]3(%`]0/.%3Y%/3Y.*]^(04}3]\%]`t]^)^`)*/.%.%'()*+,-).%/0%{*/`45.$%~3e0Y.]%`Y
3f3Y-[.$
j)]]3Y.]%0*^3().(Y3*^3%_`3%`Y%]`t+.*è*^.%u:I%J%+|0Y0]3%)*/`^)d.%_`0*/.%?%l%u:%?:r:a%l%u\%.`%]3e0\%_`0*/.%u%+.*^mY%.
]`+3]].(%/3%+0/0%̀Y%/.]%]3`]%3[3Y3*^.]$%2%'()*+,-).%/0%{*/`45.%0h)(Y0%_`3%]3%̀Y%+.*è*^.%)*/`^)d.%u%+.*^mY%.%*kY3(.%a%3*^5.%u%+.*^mY
^./.]%.]%*kY3(.]%*0^`(0)]$
~0Y.]%̀]0(%.%'()*+,-).%/0%1.0%2(/3*045.%-0(0%-(.d0(%_`3%]3%̀Y%+.*è*^.%)*/`^)d.%u%+.*^mY%.%*kY3(.%E%3*^5.%u%+.*^mY%^./.]%.]
*kY3(.]%*0^`(0)]%Y0).(3]%/.%_`3%E$
%-(.d0%/3]^0%0h)(Y045.%]3%h0z%-.(%0t]`(/.\%+.Y.%.+.((3%3Y%Z3(0[%_`0*/.%]3%̀]0%0%t.0%.(/3*045.$%X`-.*|0Y.]%3*^5.%_`3%3f)]^0Y
*kY3(.]%*0^`(0)]\%Y0).(3]%/.%_`3%E\%*5.%-3(^3*+3*^3]%0.%+.*è*^.%)*/`^)d.%u$%X3e0%=%.%Y3*.(%/3]]3]%*kY3(.]$%s.Y.%=%%E\%-./3Y.]
3]+(3d3(%=::>:r:a\%.*/3\%-3[0%/3h)*)45.%/3%=\%^3Y]3%*3+3]]0()0Y3*^3%>%l%u$%0]\%+.Y.%u%m%)*/`^)d.\%)]^.%.t()Z0%_`3%=%v%>:r:a%l%u\%`Y0
+.*^(0/)45.$
%-(.-.])45.%_`0%0+0t0Y.]%/3%/3Y.*]^(0(%-./3%]3(%3*`*+)0/0%/0%]3Z`)*^3%h.(Y0W
%
!"W%&'()*+,-).%/0%{*/`45.%3*3(0[)z0/.$6%M@E:%<LE:KN8KNGM9E9M:NMMNM?AM:E:?LMN8;:?EA<NEG;:><LKNG?98:E;:;M<G?AM;
>8?9GM;
%:?LMN8:?EA<NEO:E:8FE:9E:KN8KNGM9E9M:
%M:<L:?LMN8:?EA<NEO:?:8FE:9E:KN8KNGM9E9M::M?AB8:;M<:;<>M;;8N:?:r:a%AEL=L:8FE:9M:P
?AB8:A898;:8;:?LMN8;:?EA<NEG;:LEG8NM;:98:<M:8<:G<EG;:E:E:8FEL:9E:KN8KNGM9E9M:P
22
2
350269
524
0123020345 6789
8 9

!"#$%&'()*+,-.+*-/0.*12,-/+34(-,56(-((+37(8*,97/5:;3/,6*<56.12,=(5(7*4/>*6,&?7*0*@-(6(37,A*7B.(CDEFEGHCDI3*7*
0,6,DJK&L-0**M/7+*12,INB.(OM*4-*3*7*DPG,.DPCQIA*4(B.*56,DPK&R.3,56,@*AS4/6*3*7*.+:(70,DEJKI+,-07(+,-B.(6*;
6(:,77(-.*A*4/6(>3*7*DTG&U,+(M(/0,ICNDTGQTGPNCDTGQTCHCDTCHCDTCDPCDTG&NV*37/+(/7*6(-/8.*46*6(I.-*+,-*
W/3X0(-(6(/56.12,&Q
!"#$Y&Z-*56,*6(-/8.*46*6(CDTGHCDIB.**:*[*+,-6(37,A*73*7*DJKI3,6(+,-6(+,5-07*7B.(DCHCD3*7*0,6,DJ\I
(+37(8*56,5,A*+(50(,97/5:;3/,6*<56.12,=(5(7*4/>*6,&U,+(M(/0,IA*4(\CHC\3,/-C\HKC&R.3,56,AS4/6**6(-/8.*46*6(DCH
CD3*7*.+:(70,A*4,76(D
J\I6*;-(8.(@-(B.(NDTGQCPDCTCDTGHCDTCDTGN3(4*W/3X0(-(6(/56.12,QHCDTCDN3(4,(](+34,*50(7/,7QPCDETG&9,70*50,
^NDQ_^NDEFEGQ&9(4,97/5:;3/,6(<56.12,=(5(7*4/>*6,I-(8.(@-(B.(^NDQA*4(3*7*0,6,
DJ\&LA/6(50(+(50(I*6(-/8.*46*6(DCHCDOM*4-*3*7*DPGICIKI`&
a0(,7(+**[*/],:,50O+,.07**34/:*12,6,97/5:;3/,6*b,*a76(5*12,&
$
c#d e$f&ghijEklDmnhEohDpqhDjEDnhrstuvsuDqukwVxVyEshDvqjDquEjEzjtq{tEiuEloEsutqhEzhDqh|N}vqhEy~Eu{vquDVqjElukNDQP
kNDQIzjtjEqhihDJD&Q
#de#wR()*D,+(5,7(4(+(50,6,:,5).50,EEkNGQIkNCQIIkNDQI&L502,DEED_kNDQkNDQN3,7B.(*M.512,kO52,@
:7(-:(50(Q,B.(*:*77(0*B.(kNDQPkNDQN3,7B.(kNDQO,+(5,7(4(+(50,6(Q&

#d#"d#wghijEvuDs{jEiustuvsuDquDGDCiuEDouthvEDjqltj{vEyEk{D{qj|EhoEuku{qh~EihEshDqtt{h~EzhDihEkNQPDIhqutjohv
lojEklDmnhEuvqt{qjouDquEiustuvsuDqukwVxV&
¡¢£¤¥¦§£̈©ª¦¥̈¤«£̈¤¢¬¥
L+*48.+*--/0.*1®(-I*,0(50*7+,-M*>(7.+*6(+,5-07*12,3,7/56.12,I5*3*--*8(+6(D3*7*DTGI-(50/+,-5(:(--/6*6(6(
*6+/0/7B.(*37,3,-/12,A*4W*52,*3(5*-3*7*D(-/+3*7*0,6,-,-5¯+(7,-5*0.7*/-+(5,7(-6,B.(,./8.*/-*D&°).-0/M/:*0/A*6(.+
7*:/,:;5/,6(--(0/3,-((5:,507*5,
c#d e$±wN²u³lDihE^t{Dsz{hEijE}Dilmnh|Q²uj́µVloEshDĺDqhEshoEjEvu³l{DquEzthzt{uijiu¶
·}¸¹jihEDEEº~EvuEqhihvEhvEDouthvEDjqltj{vEouDhtuvEihEluEDEzutquDsuoEjE~EuDqnhEDE»|
¼Evu³lDihE^t{Dsz{hEijE}DilmnhEjk{tojEluEloEshDĺDqhEEµVEshoEjEzthzt{uijiuE·}¸Esh{Ds{iuEshoEV&
22
2
350269
24
0123020345 6789
8 9
!"#$%&'(()*+((,-,./*0((123*45*0((3*6(781265*0((92,(:(;(<0((.1/*(=0(92,(<(>(:(;(?0(1,@7(A(*(+,4*6(,B,+,4/*(5*(C*4@24/*(<(>(:0(*2
1,@70(*(+,4*6(4D+,6*(47/267B(92,(4E*(3,6/,4C,(7(:F(G1/*(92,6(5.H,6(92,(/*5*1(*1(4D+,6*1(47/267.1(+,4*6,1(5*(92,(A(3,6/,4C,+(7(:F(I71
,4/E*0(3,B7(36*36.,575,(JGK0(A(3,6/,4C,(7(:0(2+7(C*4/675.LE*F(M,N2,O1,(92,(<(>(:(P(?(,(:(P(<F
QR!ST'(M,(2+(C*4@24/*(:(U(<(N*H7(57(36*36.,575,(JGK0(3767(92,(2+(4D+,6*(47/267B(A(4E*(3,6/,4C,11,(7(:(1,6.7(4,C,11V6.*(92,(,W.1/.11,
7BN2+(4D+,6*(47/267B(X(YZA(/7B(92,(X([(:F(\+(376/.C2B760(1,(A(P(]0(C*+*(4E*(,W.1/,(4D+,6*(47/267B(+,4*6(5*(92,(]0(7(^.3_/,1,(]([(:(4E*
3*5,(1,6(C2+36.57F(<*2/671(37B7`6710(JGK(@V(C*4/=+(.+3B.C./7+,4/,(7(7-.6+7LE*(5,(92,(](a(:F(b11.+0(7*(2/.B.H76(*(M,N245*(c6.4Cd3.*(57
G452LE*0(4E*(=(36,C.1*(,1/.32B76(92,(:(C*4/=+(*(4D+,6*(]F
e*57(36*36.,575,(f(92,(1,(6,-.67(7(4D+,6*1(47/267.1(5,-.4,(2+(128C*4@24/*(:(U(<0(7(178,60(*(C*4@24/*(5*1(4D+,6*1(47/267.1(92,(N*H7+(57
36*36.,575,(fF(J\(6,C.36*C7+,4/,0(/*5*(C*4@24/*(:(U(<(5,-.4,(2+7(36*36.,575,(6,-,6,4/,(7(4D+,6*1(47/267.10(7(178,60(7(36*36.,575,(5,
3,6/,4C,6(7(:FK(g,1/,(+*5*0(h36*36.,575,h(,(hC*4@24/*h(1E*(4*Li,1(,92.̀7B,4/,1F(c*6(.11*0(=(47/267B(92,(*(M,N245*(c6.4Cd3.*(57(G452LE*
3*1127(7(-*6+2B7LE*(1,N2.4/,0(*45,(,B,(7376,C,(C*+*(*
j#$Tkl'(JM,N245*(+=/*5*(5,(5,+*41/67LE*(3*6(.452LE*FK(mnop(f(qrpZsXtsXunvpvnZXnwnXnAxnZpZAyrnXtzZApxqXpuz{Z|pvt(A(a(<0(znZp
}p~uvpvnZvn(f(spXpZxtvtZAyrnXtZApxqXp~ZrnAtXZvtZqnZA(urs~upXZqn(f(Z}nXvpvnuXpZspXpZAZnAxtZfZZ}nXvpvnuXpZspXpZxtvtzZtzZAyrnXtz
ApxqXpuz{
!"#$%&'()*+(,-,./*0(471(C*45.Li,1(5*(,424C.75*0(*(C*4@24/*(:(5*1(4D+,6*1(47/267.1(92,(N*H7+(57(36*36.,575,(f(17/.1-7H(7
C*45.LE*(JGK(5*(M,N245*(c6.4Cd3.*(57(G452LE*0(B*N*(:(P(<(,(f(`7B,(3767(/*5*1(*1(4D+,6*1(47/267.1F
b3B.C76,+*1(7N*67(*(M,N245*(c6.4Cd3.*(57(G452LE*(3767(5,+*41/676(2+(-7/*(N,*+=/6.C*F(<*(,W,+3B*(7(1,N2.60(217+*1(*1(4D+,6*1
47/267.1(C*+*(.41/62+,4/*(5,(C*4/7N,+0(.1/*(=0(C*+*(4D+,6*1(C765.47.10(3*.1(,+36,N7+*1(,W36,11i,1(5*(/.3*(2+(3*BdN*4*(5,(A(B75*1hF
J.5,(1,LE*(FK
M78,O1,(92,0(/67L745*(5.7N*47.1(.4/,6471(92,(4E*(1,(C*6/7+0(3*5,O1,(5,C*+3*6(927B92,6(3*BdN*4*(,+(/6.4N2B*1(@21/73*1/*1F(G1/*(=
,`.5,4/,(92745*(*(3*BdN*4*(=(C*4`,W*'(871/7(-.W76(2+(`=6/.C,(,(/67L76(71(5.7N*47.1(7(376/.6(5,B,F(M,(*(3*BdN*4*(4E*(=(C*4`,W*0(7(36*`7
6,92,6(+7.1(C2.575*1F(J.5,(hI,2(c6*-,11*6(5,(I7/,+V/.C7h0(37NF(]FK
(B,./*6(3*5,(,W3,6.+,4/76(C*+(2+(3*BdN*4*(4E*OC*4`,W*(,(`,6.-.C76(927(^V(+2./71(+74,.671(5.-,6,4/,1(5,(5,C*+3OB*(,+
/6.4N2B*1(@21/73*1/*1(+,5.74/,(5.7N*47.1(.4/,6471F(I71(`7B,(*(6,12B/75*(1,N2.4/,0(4*(927B(2176,+*1(*(M,N245*(c6.4Cd3.*(57(G452LE*F
TF(27B92,6(92,(1,@7(7(+74,.67(5,(5,C*+3*6(2+(3*BdN*4*(f0(5,(A(B75*10(,+(/6.4N2B*1(@21/73*1/*1(3*6(+,.*(5,(5.7N*47.1
.4/,6471(92,(4E*(1,(.4/,61,C/7+0(*(4D+,6*(5,(5.7N*47.1(2/.B.H7571(=(1,+36,(A(>(F
)*+(,-,./*0(575*(A0(123*4^7+*1(92,(7(36*3*1.LE*(7C.+7(1,@7(`,6575,.67(3767(/*5*(3*BdN*4*(C*+(+,4*1(5,(A(B75*1F(M,@7(,4/E*(5757
2+7(5,C*+3*1.LE*(5*(3*BdN*4*(f0(5,(A(B75*10(,+(/6.4N2B*1(@21/73*1/*10(+,5.74/,(5.7N*47.1(.4/,6471F(.W,+*1(2+7(5,1171(5.7N*47.1F(\B7
22
2
350269
4324
0123020345 6789
8 9
!"#$# #%&'()##(*#!+,-'*#.&*/0!*/*#$12##31#+0*2##$42##34#+0*2#'#31#5#3##34#5#32#+-#0#!%!*(6)#70+
!0%0#*#!+,-'*#$1##$48#97('/ '/2#31#:#34#;#3#:#48
<*#=#(0-'0(*#>&#?/&0 #0# !*(6)##$#*#0-%&!0 #0**(@#31#A#B#+0*# !" #$12#34#A#B# !" #$4##& 0#?(

&*00#!0%0#*!0%0%#$1##$48#C%/0'/#=#;#31#A#B#:#34#A#B#:#1#;#31#:#34#A#D8#E #31#:#34#;#3#:#42#%*&+/0#>&#=#;#3#A#B8#F*/# !+/0#0
'*/%06)8
GHIJKLMNOJI@
18#################C0%0#P0Q(/&0%R*# ## S/## '*/%06)#!%#('&6)#S#!%(*#!%0/(TR+# &(/0*#7U*2#0#?(##!%%#0>&+0#70-0
*'*06)##*'*/(0#>&##!%('(!(0'/#/ #>&0'#0 (/#>&##?0/#0#*%#!%70#S#7%0(%#!0%0#32#0'/*## '*/%TR+
!0%0#3#:#18
48#################C%0/(>&#/0 QS #V # %06)W##X%,(##*Q%(%##%%# #!0%0X*#>&#%*&+/0 ##&*#('0>&0## S/#
('&6)8#Y.0 *#(*#***#*?(* 0*@
Z
Z
[\J]^_`Za8#bc=cd3efghcd3ijkhildmdngokg3cp
ddddddddddq%02#1#%/0 '/#S#!>&'8#9#*#3#S#!>&'2#3#:#1#')#70(#*&Q(/0 '/#/%'0%R*#-%0'2#+-#/0 QS #S#!>&'8#Vq#%%#0>&(
'*(*/# #>&#0#'6)#r's %#!>&'r#')#S#Q #?('(08W
[\J]^_`Zt8#bc=iduk3vwc#u#@#x#y#z2#{k|cd=cf}3~cdmdkfd{c3|k3jcdu~3~jcdx2#S#'*/0'/8
F*/#S#Q7(0 '/#7%0(%#*#x#/ #0!'0*#1#+ '/8#&!'#0#0?(% 06)##7%0(%0##!0%0###/*###*###'.&'/*### ###3
##+ '/*2##*.0#ud@#x#y#z#?('(0#'& #'.&'/#x# #3#:#1#+ '/*8#E'*(%#& #+ '/#i##x8#E #xddxdA#i#/ #3
+ '/*2#u#0**& ##* #70+%#{##z# #/*#*#+ '/*##x8#<-%0#/%>&#i#!%#& #&/%#+ '/###x8#qQ/S R*#x#;#x#A
22
2
350269
4424
0123020345 6789
8 9
!"#$%$&#"#!'()(!($&#*+($&,(#*-./*0123#4.!($&(5().6/57&(*(8(/$89:#;<="#$*&.$&((/>.).?(!@AA2B#>#<+01C?(
8.D<E@FG="#$*&.$&(2+H-/#(,,#,(*/8($#*#/$.8(-.8#8.6/57&(*(8(/$89:#2I,."/#"D$/#(!5,(>.8#*5J(/!5)/"/&.!($&(
-(@&(!5()#!($#*K()(!($&#*23.,(.)/8.8(;$:#4.)(./!5)/".9:#L+M1NL+O121
I5(,/>#8(P.Q(,>($(,.)/Q.9J(*.5,(**.8.*,().&/4.!($&(..**(,9J(**#R,($S!(,#*$.&,./*P/".(4/8($"/.8#"#!#*(>/$&(
(T(!5)#E
UVWXYZ[\]^_`#$*/8(,(#5#)/$a!/#b+'1C'Oc'deM(..P/,!.9:#f#4.)#,8(b+'1=*(!5,(!5,/!#5.,.'Cg;M;O;K;hf2i!R#,.
/**#*(%.4(,8.8(/,#5.,.'Cg;M;O;h;eg;&(!#*b+eM1CeMOceMdeMCeMO$:#=5,/!#;)#>#..P/,!.9:#$:#=4(,8.8(/,.2
j(!()6.$&(!($&(;.(T5,(**:#k+'1C'Oclm'dMngMP#,$("(5,/!#*5.,.'CM;O;h;lm;!.*k+og1CogOclmpogdMngMCMnoM
$:#=5,/!#;5#/*=8/4/*D4()5#,eM2H!#,.)8.6/*&7,/.=Ej7."(/&(-(!..P/,!.9:#*#R,(#*$S!(,#*$.&,./*=,(.)!($&(4(,8.8(/,.
5.,.&#8#*#*$.&,./**(/**#6#4(,8(P.&#*/8#8(!#$*&,.8#q
rstuvwxyz{t|}y~u}{
.!#*.>#,.!#*&,.,"#!#*(*.!#*$S!(,#*$.&,./*5.,."#$&.,#*()(!($&#*8(!"#$%$&#P/$/&#2I,/$"D5/#8.$89:#
*(,(**($"/.)2B(!R,(!#*-(;8.8#'3;(*",(4(!#*'__b3b';5#,&.$&#
'CM;O;h;'2
!.?'08#*()(!($&#*8(!"#$%$&#$:#4.Q/#@=!.R/%(9:#
<_E'_F@2#8(!#*5a,MC<+M1;OC<+O1;h;'C<+'1((*",(4(,
@CM;O;h'2/Q*(($&:#-(@5#**/'_()(!($&#*2I"#$%$&#@"6.!.*(!?''_<'-.$8#(T/*&('3&.)-(@5#**/
'()(!($&#*2
!(T(!5)#7R4/#8("#$%$&#P/$/&#='^_i4/8($&(!($&(;.P$9:#/8($&/8.8(<E'_F'=!."#$&.>(!8#*()(!($&#*8('^
!(T(!5)#8("#$%$&#/$P/$/&#=#5,#5,/#"#$%$&#38#*$S!(,#*$.&,./*;5#/*$($6!.P$9:#<E'_F35#8(*(,*#R,(%(&/4.;
$:#/!5#,&.-.)'*(&#!(2(P.&#;8.8.<;&#!.!#*C<+M1d<+O1dhd<+'1(4(!#*-(<+15.,.&#8#';)#>#<+'1;(<$:#
=*#R,(%(&/4.2
HP/!8(-($:#6.%..!R/>/8.8(-.$8#*(P.).,8#$S!(,#8(()(!($&#*8(!"#$%$&#P/$/&#@;=$("(**,/#5,#4.,-(&#8.*
.*"#$&.>($*8(@P#,$("(!#!(*!#,(*)&.8#23#&,.*5.).4,.*;8.8##"#$%$&#@;#*$S!(,#*$.&,./*;'(.*R/%(9J(*<E_F@;
E'F@;8(4(!#*!#*&,.,-(*(&(!C'2`#!(9.!#*#R*(,4.$8#-(*(<(*:#R/%(9J(*;($&:#CcM<E_F'&.!R=!=!.
R/%(9:#2.*&.5#,&.$&#5,#4.,#*(>/$&(E
22
2
350269
4024
0123020345 6789
8 9
!"#$$%&'()*+,-.&/&0&1.&+2&3&4&5-&6&5/,7,8-(,9:;2<=*>,2/?=*&-&@&/%
A!BCD"EFG&HIJ&KLKMNI.&OPQJKJIR&SK&T&I&OIUVWUNI&SIR&UXJKYIR&UQNWYQMR&/&ZWK&N[J&Q&RK\WMUNK&]YI]YMKSQSK4&R^&K_MRNK&WJQ&`MVKabI&3&4
5-,6&5/&ZWQUSI&,-&@&/%&cdMSKUNKJKUNK.&e&0&T%&&fW]IUPQJIR&&Q\IYQ&&ZWK&&/&0&T%&&gQSQ&&WJQ&&`MVKabI&34&5-he,6&5/he.&SWQR&OIMRQR&]ISKJ
QOIUNKOKY%&iYMJKMYQ4&3j-&k&el&@&/&k&e%&1KRNK&OQRI.&Q&YKRNYMabI&3m5-,4&5-,6&5/&n&WJQ&`MVKabI.&oI\I&-&@&/.&SIUSK&-&k&e&@&/&k&e%&&fK\WUSQ4&3j-
k&el&@&9.&&&OIJ&9&p&/&k&e%&&&1KRNK&OQRI.&&OIURMSKYQJIR
(&@&3&qej/,h,el&K&SKLMUMJIR&WJQ&UIdQ&`MVKabI&&4&5-&k&e&6&5/&k&e.&]IUSI&,j-&k&el&@&/&k&e.&j(l&@&9&K&jrl&@&3jrl&]QYQ&IR&SKJQMR
KoKJKUNIR&r&0&5-&k&e%&cUNbI&YKOQsJIR&UI&OQRI&QUNKYMIY&K&UIdQJKUNK&OIUOoWsJIR&ZWK&-&k&e&@&/&k&e%&tRNI&JIRNYQ&ZWK&/&0&T&u&/&k&e&0&T.
oI\I&T&@&1&K&Q&WUMOMSQSK&SI&UXJKYI&OQYSMUQo&SK&WJ&OIUVWUNI&LMUMNI&LMOQ&SKJIURNYQSQ%
v\IYQ&IR&UXJKYIR&UQNWYQMR&UbI&RbI&Q]KUQR&KoKJKUNIR&SI&OIUVWUNIw]QSYbI&1.&JQR&RKYdKJ&NQJ`nJ&]QYQ&YKR]IUSKY&]KY\WUNQR&SI&NM]I
xZWQUNIR&KoKJKUNIR&NKJ&I&OIUVWUNI&Ty.xIW&RKVQ.&]ISKJ&RKY&WRQSIR&NQJ`nJ&OIJI&UXJKYIR&OQYSMUQMR%
v&QSMabI&SK&UXJKYIR&UQNWYQMR&RK&YKoQOMIUQ&OIJ&Q&OQYSMUQoMSQSK&SIR&OIUVWUNIR&]IY&JKMI&SQ&RK\WMUNK&]YI]IRMabI%
!"#$z4&{2;(-&T>,|,}*/;8/?*+,~:/:?*+,):+;8/?*+,{2,T,?2-,-,22-2/?*+,2,|,?2-,/,22-2/?*+>,2/?=*,T,|,,?2-,-,h,/,22-2/?*+
A!BCD"EF4&HIJ&KLKMNI.&RK&~&4&5-,6&T&K&&4&5/&6&|&RbI&`MVKaKR.&SKLMUMJIR&&WJQ&&`MVKabI&&&4&5-h/,6&T&|&&]IY&&,jrl&@&~,jrl&&RK&&e&&r
&-&&K
jrl&@&jrl&k&-&RK&-&k&e&&r&&-,h,/>,&I&ZWK&OIUOoWM&Q&SKJIURNYQabI%
iYIdQwRK.&]IY&MUSWabI.&ZWK&NISI&RWÒIUVWUNI&SK&WJ&OIUVWUNI&LMUMNI&T&n&NQJ`nJ&LMUMNI&K&RKW&UXJKYI&SK&KoKJKUNIR&n&JKUIY&SI&ZWK&IW&M\WQo
QI&SK&T&jKVQ&c%%MJQ.&xvUoMRK&KQox.&dIo&e.&]Q\%&%l
&
c&OIUdKUMKUNK&MUOoWMY.&]IY&SKLMUMabI.&I&OIUVWUNI&dQMI&KUNYK&IR&OIUVWUNIR&LMUMNIR&K&SMKY&ZWK&I&RKW&UXJKYI&SK&KoKJKUNIR&n&2*%
cJÌYQ&KYI&UbI&RKVQ&WJ&UXJKYI&UQNWYQo.&KoK&]QRRQ&Q&RKY&I&UXJKYI&OQYSMUQo&SI&OIUVWUNI&dQMI%
fK\WKJwRK&Qo\WJQR&]YI]IRMaKR&ZWK&SKdKJ&RKY&SKJIURNYQSQR&]IY&MUSWabI&IW&ÌQ&IYSKUQabI%&R&SK&XoNMJIR&K_KYOsOMIR&LIYQJ
RW\KYMSIR&]KoI&iYILKRRIY&v%&H%&IY\QSI%
#
C4
&
e%&&&&&HIURNYWQ&WJ&KRZWKJQ&SK&RKNQR&OIJKaQUSI&OIJ&IR&UXJKYIR&sJ]QYKR.&RK\WMSIR&SIR&UXJKYIR&]QYKR&SMdMRsdKMR&]IY&&KJ&IYSKJ
SKOYKROKUNK&K.&]IY&LMJ.&IR&]QYKR&UbI&SMdMRsdKMR&]IY&&KJ&IYSKJ&OYKROKUNK%&1IWNYQR&]QoQdYQR.&NIJK&T&@&1&K&SKLMUQ&+&4&T&6&T&]IUSI&+j/l&@
/&k&&RK&/&UbI&n&SMdMRsdKo&]IY&.&+j/l&@&/&q&&RK&/&LIY&JXoNM]oI&SK&%&IRNYK&ZWK&+&4&T&6&T&OWJ]YK&IR&Q_MIJQR&.&.&&JQR&UbI&A%
22
2
350269
424
0123020345 6789
8 9
!"#$%&'(()'((*#)"$%+,$!+#-.'/012134"&+5$#6'7+/89:;<=/9>?:;<@/89>;?:*+,$!'(,+5$A&5B)"4$&$($/89>;
=*+,$!C(,+5$A&5B)"4$&$($/01213$D#6'7+/9:;<:%/9;<@/89>?;<=/89>?:;E/89>;
FGH$IJ1+,)'#H+#4'"#6+4"K'#.'LK$M"'N'34(7+A"34OP14$57+I<Q>P1R>SOT
@U('K%&'("#6+-.'%7+
V1+,&'5BW'#')',>SV5$6'3%'#X, ('66"$W'#$"3Y,$"'(6'7+>
Z[U('K%&'("#6+-.'7+\9>?:;]>^>_>%&$($4'6'>S=9G+W34.'0`D3(K7+9>?;]9>?:;_9>8?:;]>85K$,D'3'3, ,D('3
634$63"W+$56$6a&'4*#)"$>?:;b'#)5+$6$B7+$37c*#)"$ Y6)(3)#4$&$(4"(6'4()"('4(,'
>
dU('K%&'("#6+-.'$63"W+$56$66e (#'+55"09:?O;f:?>O7+$#6':?Ofg
hU$($4'6'>P1%&'#i$ &('K%&'("#6+-.'7+34, b'#)5+$%$&$(4"(6$B%7+$37c*#)"$64(,'W($5
Y)(3)#4
jklmnopq0'D3(K7+

:gr3$6"34("D+4"K"6$666+$3,$#"($36"!(#43&$($)$5)+5$(9s?>;9:?:;$&5"7+,3W+"6$$t"6'b'(4&$($
'D4(+,$#'K$&('K$67+s?>8u8>8v8s[

::r,)'#H+#4'wJ1%#.'LK$M"'%Y5","4$6'3+&("'(, #4%3A"34+,#$4+($5x4$57+&$($4'6'#$4+($5yPw%#4.'yzxN'34(
7+w&'33+"+,,$"'(5, #4'9{34'Y%A"34sPw4$57+yzs%&$($4'6'yPw[;

: ,'#34(7+$3',$6'3>&(", "('3#X, ('3B,&$(3Y>%'+3H$%7+:?=?@?|?9>E:;<>

:=U('K7+>E:Y,X54"&5'6=%&$($4'6'#X, ('#$4+($5>&$(

:F ,'#34(7+%&$($4'6'#X, ('#$4+($5>%K$5

22
2
350269
4124
0123020345 6789
8 9
!"#$%&'(")*"
+ !"'"(#,%"-.&"-/0/
1 !"#$%&'("2*&3%4$$5(,%678,$439%4*:;$<,%,'32)*"
=&'"("&*>'34$?6$#*#"%'"6$%@"6,4$8$(ABCDBEF/GFH/ICJK.FHL/M5$()*NOP
Q R$%&,4"("3&")SN%6,3 $%4"
!"#$%&'(")*"
3P #46MT.U/V.PWX
YZ T.?$,%'",($#3,&8([\,#$4" "V.?$,%'",($#3,&8([\,#$4"
/
] ^_`$(("4"a3%[,bc;$434$&'(N&&*8$('"&-U/d"ILe$&*8$('"-"&';$"%63,\34$&.4,&6$&6*f$&4,g#"'($&24"h3,\$83(36,#32
"&';$"# $(4"# "&'(,'3#"%'"4"6("&6"%'"i$&'(")*"?8$&&7j">26$# k.l#$j,#"%'$&2'(3%&m"(,('$4$&$&4,&6$&83(3$&*8$('"d2
*&3%4$$&*8$('"I6$#$3*\,>,3(24"#$4$)*"f3#3,&24*(3%'"3$8"(3:;$2*#4,&6$#3,$(m,)*"&$h("*#4,&6$#"%$(
kn !"#$%&'(")*"k.o.p283(3.qr
/
k !"#$%&'(")*"k.sts.kus.u83(3.qs
/
kk R$%&,4"(".("'3&"#*#8>3%$i$&'(")*"$v#383v4"'"(#,%34$8$(">3&8$4"&"(6$>$(,4$6$#38"%3&4*3&6$("&&"#)*"4*3&
("w,x"&j,y,%@3&'"%@3#3#"&#36$(
22
2
350269
424
0123020345 6789
8 9

22
2
350269
424

Axiomatica de Peano

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Axiomatica de Peano

Загружено:

Авторское право:

Доступные форматы

0123020345 6789

<#=#(0-'0(#>&#?/&0 #0# !(6)##$##0-%&!0 #0**(@#31#A#B#+0*# !" #$12#34#A#B# !" #$4##& 0#?(

Вам также может понравиться

Axiomatica de Peano

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Axiomatica de Peano

Загружено:

Авторское право:

Доступные форматы

0123020345 6789

<*#=#(0-'0(*#>&#?/&0 #0# !*(6)##$#*#0-%&!0 #0**(@#31#A#B#+0*# !" #$12#34#A#B# !" #$4##& 0#?(

Вам также может понравиться

<#=#(0-'0(#>&#?/&0 #0# !(6)##$##0-%&!0 #0**(@#31#A#B#+0*# !" #$12#34#A#B# !" #$4##& 0#?(