Logic, Sets, and the Natural Numbers

yz{|{|})ÿ~B|ÿ€R
C"=()ÿ')ÿ$3ÿ'ÿ*#+ÿ*>%'#
012345ÿ7895ÿ ÿ98ÿ 9ÿ8
7 ÿÿÿ
Xÿÿÿ!ÿ!"#ÿ$ÿ"%&'(ÿ)
YZ
ÿY[X\ÿÿ''#ÿ#*'ÿ"#ÿ!+',
-'ÿ./01.2/ÿ"!ÿÿ
X$3ÿ]ÿÿÿ'ÿX^]ÿ4'#'ÿZY[X^]\_ZY[X\`ZY[]\,
-'ÿ5/.2/ÿ"!ÿÿ
X$3ÿ]ÿÿÿ'ÿXa]ÿ4'#'ÿZY[Xa]\_ZY[X\bZY[]\,
Xÿÿ'ÿXcÿ4'#'ÿZY[Xc\_dZY[X\,
-'ÿ126786/ÿ"!ÿÿ
9/0:;8ÿ/2;.2/ÿÿÿ4ÿ"!ÿ3'(#%$=ÿ('#$ÿ'ÿ"!ÿ#'+ÿ$*>%'#,ÿ?"#ÿYef)ÿ'ÿ'=ÿ>"ÿ>@"#$ÿ$'#A+
#'B
Zg[ZhijY\\_ZgeY\
Zg[ZhijYk\_ZgmY\
Zg[ZYji\\_ZgnY\
Zg[lYji\\_ZgoY\
Zg[lYjfk\_ZYmgmf\
Zg[ZYjfk\_ZYegmf\
Zg[lYjf\_ZYmgef\
Zg[ZYjf\\_ZYegef\
01
2
3
4
C"=(+ÿ"*=ÿ#ÿ4ÿ'ÿ3'ÿÿ">'ÿ'>'$ÿ#'ÿ05ÿ$3ÿ">'ÿ'>'$ÿ#'ÿD;8,ÿ-#"*="*ÿÿ4"#E)
pÿ4++ÿ%'ÿ*'3ÿ"ÿ3'$"'ÿÿ#*'ÿ'>'$)ÿ$3ÿÿ
q4++ÿ%'ÿ*'3ÿ"ÿ3'$"'ÿÿ!+'ÿ'>'$,ÿ-ÿ+'3ÿ*ÿ"ÿ"*#ÿ!#
3'!$"$,
FGHIJIKILJÿN
r'A+*'ÿ"ÿ''#ÿÿ
p"#ÿ,
qÿQ#'ÿr_pÿ!ÿÿ
rÿ#*'ÿ$3ÿr_qÿ!ÿÿ
rÿ,
q
Oÿ82P.1;8ÿ;6/ÿÿ
?"#ÿ$$('ÿZstu_v\_pZ
)ÿvhw_x\_q,
7R"8ÿ93'ÿ$ÿ>'>(ÿA'ÿ4"ÿ4ÿ"!ÿ$E$=ÿ%"*ÿ'>,ÿ-'ÿ!#ÿÿ'ÿ./5..2/)ÿ"#ÿ4ÿ'ÿ3'ÿÿ*@@"'3ÿ"
#'@#''$,ÿS"$3'#ÿ'ÿ!"++"4$=ÿ$*"$ÿ"!ÿ4ÿÿ'ÿ,
TJKUIKILJÿN
Oÿÿÿÿ("++'("$ÿ"!ÿ"%&'(,
-ÿ='ÿ(#"ÿ4ÿ'ÿ3'ÿ"!ÿÿ'ÿ)ÿ%*ÿ*$!"#*$'+ÿ3"'ÿ$"ÿ++"4ÿ*ÿ"ÿ702:ÿ>'>(+ÿ'>'$,ÿV$ÿ"#3'#
"ÿ>'>(++ÿ@#"A'ÿÿÿ+"=(+ÿ'>'$ÿÿ#*')ÿÿÿ$'('#ÿ"ÿ#'3*('ÿ"*#ÿ'>'$ÿ"ÿ+"=(+ÿ"$'ÿÿ($
%'ÿ'A+*'3ÿ"ÿ%'ÿ''#ÿ#*'ÿ"#ÿ!+',ÿ-ÿÿ'ÿ@*#@"'ÿ"!ÿÿD206;8ÿ3'!$"$)ÿ4(ÿ+$Eÿ"*#ÿ>'>(+ÿ"%&'(ÿ"
#*'ÿ"#ÿ!+'ÿ'>'$,ÿ?"#ÿ$$(')ÿ'#'ÿÿÿD206;8ÿ3'!$"$ÿ"!ÿÿ',
FGHIJIKILJÿW
!+'B{{{SB{‚'#{>*%'#{ƒ#"@%"„{Q"#E{%""E{€#"%%+O3A'$*#'{€#"%%+O3A'$*#'4'%@='|{(@'#{R'>($''3'3 " +'#$ @#"%† y{
cdefefgÿhfiÿjk
0ÿ2344526738ÿÿ
P79ÿÿ ÿ7ÿ3ÿ8ÿ3526
79ÿÿ43724ÿ9665586
l372ÿ.569ÿ8ÿ65ÿ 64ÿ59
QRP
Q79ÿ8ÿ545586ÿ3ÿ
Pÿ3ÿÿ
Q79ÿ2386785ÿ78ÿ
Pÿ3ÿÿ
P2386789ÿ
Q
365ÿ6 6ÿQRPÿ79ÿ5 ÿ9ÿÿ
79ÿ4439ÿ9ÿ63ÿ 5ÿ65ÿ3 4ÿ578767389ÿ3ÿ7896825ÿ76ÿ79ÿ954ÿ63ÿ 5ÿ8ÿ!"#ÿ ÿ6 6ÿ2386789ÿ83ÿ5455869
%&'()(*(+)ÿ. ÿ6 6ÿÿ
S79ÿ65ÿ!"#ÿ ÿ/765ÿÿ
T3ÿUV0ÿ7ÿ3ÿ8ÿ3526ÿ
Q
WQRSXYZ[
5ÿ1234#ÿ5361 ÿ786987ÿ79ÿÿ:72ÿ ÿ3ÿ7678ÿ38ÿ65ÿ35269ÿ6 6ÿÿ956ÿ2386789ÿ;765
63ÿ787265ÿ6 6
PYUQ\]\^V\
WQRPXY_
W]RPXY_
W^RPXY_
8ÿ3ÿÿ
` 8ÿ365ÿ3526ÿ6 8ÿ
Q]
ÿÿ3ÿ
^W
ÿ`RPXYZ
<=>?=@ABC
D639654 ÿ5ÿ475ÿ3E59ÿ6 6ÿ34ÿ935678ÿ5ÿ3Eÿ76ÿ5ÿ955F63ÿ8ÿ443ÿ9ÿ63ÿ83ÿ 6ÿ79ÿ78975ÿ3ÿ76
76ÿ5ÿ3G :5ÿ78ÿ72ÿ295ÿ76ÿ79ÿ778ÿ65ÿ 45ÿ76ÿ349ÿ3ÿ7896825ÿ9GG395ÿWQRPXY_W
ÿ]RPXY_
ÿ
5
8
ÿ
7
ÿÿ
7
9
ÿ
ÿ
7
4
5
ÿ
6
6
ÿ
2
8
ÿ
3
4
ÿ
5
7
6
5
ÿÿ
3
ÿÿ
3
ÿ
ÿ
6
5
8
ÿ
ÿ
7
6
ÿ
5
ÿ
6
5
ÿ
3
ÿ76ÿ76ÿ5ÿ495
Q ] ^ W`RPX
W^RPXYZ `
5G5878ÿ38ÿ 6ÿ65ÿ26 4ÿ 45ÿ3ÿÿ
`79
Hÿ`YQÿ658ÿW`RPXY_ÿ6ÿ7ÿ`Y^ÿ658ÿW`RPXYZÿ5535ÿ655ÿ5E7969ÿÿ23725ÿ3ÿ997586ÿ3ÿÿ
`978
459ÿ78ÿUQ\]\^Vÿ92ÿ6 6ÿW`RPXÿ79ÿ65ÿ79ÿ28ÿ5ÿ76658ÿ437244ÿ9
Wa`RUQ\]\^VXW`RPXY_[
5ÿÿ
a9349ÿ5 89ÿI655ÿ5E7969Jÿ6 6ÿ79ÿ76ÿ79ÿG399745ÿ63ÿ9978ÿÿ 45ÿ63ÿ65ÿ 745ÿÿ
`6 6ÿ 59ÿ55ÿ9665586
78ÿ65ÿ596ÿ3ÿ65ÿ43724ÿ9665586ÿ65ÿK 2ÿ3ÿ65ÿG 69ÿ3ÿ65ÿ43724ÿ9665586ÿ78975ÿG 5865959ÿ79ÿ2445ÿÿ1462 5ÿ9665586ÿ79ÿ65ÿ5295ÿ7ÿ`YQÿ658ÿ65ÿ496ÿ2495ÿ65
L8ÿ65ÿ365ÿ 8
Wa`RU^VXW`RPXYZ
5295ÿ78ÿ679ÿ295ÿ`Y^ÿ8ÿW^RPXYZ
5ÿÿ
b934ÿ5 89ÿ6 6ÿ65ÿ596ÿ3ÿ65ÿ9665586ÿ96ÿ5ÿ65ÿ3ÿ44ÿ/3ÿ3ÿ550ÿG399745ÿ ÿ3ÿ997878ÿ65
745ÿ365ÿ6 6
Wb`RUQ\]\^VXW`RPXYZ\
5295ÿ76ÿ79ÿ5 44ÿ978ÿ6 6ÿ58ÿ`YQÿ3ÿ7ÿ`Y]ÿ3ÿ7ÿ`Y^ÿ76ÿ96ÿ34ÿ6 6ÿW`RPXÿ6ÿ97825ÿ6 6ÿ79ÿ495ÿ3
`Y^ÿ65ÿ345ÿ9665586ÿ749
MN@CBOC
5ÿ3ÿ44ÿ836738ÿ4439ÿÿ57876738ÿ3ÿ58ÿ385ÿ956ÿ79ÿ586754ÿ2386785ÿ78ÿ8365
745eeemen959e5eo3G3Ee;3e339ej3 7476p058659ej3 7476p058659p5G 5fe2 G659ek 65 6729p8555p63p45 8pG3q fei
wxyzyz{ÿ|Jz}ÿ~
€ 6ÿ9ÿÿÿ‚7ÿ‚ /<
0123435364ÿ8
9 ÿÿÿVÿÿW
XYZ[V\XZ[W\]
ÿÿÿVÿÿÿÿÿWÿÿÿV^W
!"
#
ÿ
%
&
'
()
&
*
ÿ
%
(+,
#
)
.ÿ/ ÿÿÿÿ01213ÿ052ÿ677ÿÿÿ_ÿ8ÿÿÿ9/ 7ÿÿÿ:0;:0:ÿÿÿ6ÿ<ÿ ÿ
_`abcdcecfg]
=%'#)>&*ÿ%?'&'@?%ÿA?)ÿ'"#ÿ%&'()&*ÿ%(+,#)-
.ÿ/ ÿ ÿÿÿ7ÿ /<ÿÿ:02B13ÿ0C1:C0ÿD ÿ6ÿ
ahcicjckclcbmg`ahcf cbmg]
Eÿÿf ÿ ÿ ÿÿÿ ÿÿ/ÿÿÿ67ÿÿ7ÿ /<ÿÿÿÿ ÿ7ÿ7ÿ /<ÿ<ÿÿ 0123435364ÿF
9 ÿÿZnoÿÿ7ÿ /< ÿG
ÿÿ
pÿÿ7ÿ /<ÿ 6ÿÿZqpqo
GÿÿÿÿHÿÿ77
0123435364ÿI
9 ÿÿ
Zÿÿ7ÿ /<ÿG
ÿÿ
pÿÿ7ÿ /<ÿ 6ÿÿZqp
p[aZcf cog
p[aZcfg
Gÿ/ÿ7ÿ 7ÿÿ <6ÿÿH<7ÿ/ ÿJJJÿKLÿ9
ÿÿZnoÿÿ7ÿ /< ÿG
rp[arZcf rog
ÿÿ
pÿÿ7ÿ /<ÿ 6ÿÿZqpqoÿMGÿ 7ÿÿÿH<7ÿ/ÿ ÿN ÿrO
9/77
rs[arZcfg
sÿÿ7ÿ /<ÿÿÿÿ7ÿZÿJJJ
ÿÿ
D ÿ6ÿZe[aZbcf cZtgÿÿui[abcdcfg
P)
Q#
)
#
Qÿ
R&
@
)
Gÿÿ ÿ ÿÿÿÿÿ8ÿv`aZcogÿÿZ[vÿÿo[vÿÿ< ÿÿGÿ6 7ÿHÿ<ÿÿ
o[vÿÿZ[vÿÿ< ÿÿÿv`aocZgÿ8ÿ ÿ//67ÿ<N6ÿÿÿÿÿÿÿ
ÿ;:2ÿSC5TC00ÿÿÿSC0UÿSC5TC00
7JyyyƒJy„ y/ <y < 9yE †y< †y~<<7‡.Hy~<<7‡.H‡< zy6 y/6‡‡‡7‡ <ˆ |y}
Gwxyxyzÿ{Iy|ÿ}~
7ÿ+ÿ ÿÿH )ÿH)
0123435364ÿ8
Y ÿÿ
Z ÿ ÿÿ ÿ[Y\Z]ÿÿ ÿÿ!"#ÿ$ÿÿ% ÿÿ
Y ÿ ÿ% ÿ&
Z
9ÿÿ
'ÿ$ÿÿ% ÿÿÿ() ÿÿ% ÿ)ÿÿ() &
0123435364ÿ*
+ ,ÿ[^\_]`[a\b]ÿÿ[^`a]`cÿ ÿ[_`b]`c&
-+./0
1
2
3
4
1
5
6
ÿ ÿ7ÿ ÿ7ÿ)ÿ%ÿ ÿÿÿ7ÿ ÿÿ)&
0123435364ÿ8
Y ÿ
Zÿ,ÿ ÿÿ
Y#9!:#;ÿÿ
Z<$ÿYd Z=ÿ
'ÿ7ÿ ÿÿ
[Y\Z]ef[c\c]\[g\c]\[g\g]hi
Yÿ)ÿÿ
Z)ÿÿÿ)&ÿ? ÿYd Zÿÿÿ
Y%ÿ
Zÿÿÿÿ
9ÿÿ$ÿYd Zÿ ÿ ÿ$ >ÿÿ
Y ÿ&
Z
@ABCDE1ÿF
'ÿÿ>ÿjekÿ[jlm]d [jln]ÿ)ÿÿÿ
jÿÿ )ÿ)ÿ ÿÿÿ ÿ
mÿ ÿÿ
jÿ,ÿ
ÿG&
Hÿ ÿÿ>ÿÿÿ)Iÿ)ÿ)ÿ[jln]ÿÿ)ÿÿÿ ÿ ÿ[jlm]ÿÿ$ ,ÿ)&
-Jÿ36Lÿ560Mÿ1J
N ÿ% ÿ7ÿÿ$ ,ÿÿÿ#Oÿ"PÿP:Qÿ#O&
0123435364ÿFR
NÿYo Zÿ<,ÿÿ
Y#Oÿ"PÿP:Qÿ#Oÿ=
Zÿÿ ÿÿ$7&
[Yo Z]`[[Y\Z]ef[c\c]\[g\g]h]i
S ÿ$ ,ÿÿ,ÿÿÿYo Zÿ [Yo Z]`[[Yd Z]p[Zd Y]]i
+ÿ$ ÿÿ
Yÿ)ÿÿ
Zÿ)ÿ ÿ$ ÿÿ
Yÿ ÿÿ
Zÿ &ÿT ÿ ÿÿÿ$ ,ÿÿ,ÿÿ
[Yo Z]`[Y`Z]i
)ÿÿÿ$ ,ÿÿÿ ÿ)ÿ)ÿÿUÿÿ77ÿ)ÿ&
Tÿq ÿ%ÿ ÿÿÿ)ÿÿ)ÿÿ) ÿV&ÿTÿÿÿÿU,ÿÿÿ ,ÿÿWX;#Pÿ
)&
0123435364ÿFF
'ÿ )ÿ)ÿ^r_ÿÿ)
_
u jv` j^st sj_
ÿÿI
v`^
Ixxx€Ixx)x‚%ƒxNUxUx} ,„S> )x} ,„S> )„$% 7yx %x~ „ „„ „%
zx|
0IJJK5ÿ('LÿMN
O#5ÿ"865ÿ9ÿ678ÿP6&ÿP&$8
01ÿ34ÿ3455ÿ6789ÿ7 5843984 986
1ÿ678 85
5
5
843
943:<
; 984 93: ; 986
78ÿ94968ÿ89ÿ4ÿ6788ÿ8ÿÿ6ÿ685ÿÿ678ÿ84969ÿÿ8ÿ8ÿ4ÿ681
ÿ!
"668ÿ4ÿ678ÿ4 9#ÿ$%69ÿ8ÿ6&8ÿÿ48'
01ÿ=9>?@A =9>B@
1ÿ=9>B@A =9>?@
(1ÿ=9CB4?@A =94D@
)*+,-.*/
01ÿEÿ0789ÿ6ÿÿ6&8ÿ676ÿ9>?5ÿ6ÿÿÿ6&8ÿ676ÿ9>B1
1ÿFÿ34ÿ94G5ÿ6789ÿ=9>B@4Eÿ&6ÿ=9>?@4F1
(1ÿEÿ78ÿ91ÿ&69ÿ6ÿ9CB4?ÿÿ94D5ÿÿ789ÿ=9CB4?@ÿÿ6&85ÿÿÿ=94D@1
ÿ2
"668ÿ4ÿ678ÿ4 9#ÿ$%69ÿ8ÿ6&8ÿÿ48'
01ÿ=H9>H@A =9><@
1ÿ=9><@A =H9>H@
(1ÿ=9:B4?@A =94D@
48'JJJQ'JR8J$7&8JS%TJ0JJM61UV896&8JM61UV896&8U 8%#8 J7%68JN678$6U9888U6U89U%W LJL