Lecture
26k
January
Notes
Peandstxiomt
numbers
With
,
operation
l
.
that
assert
We
) N
N
ne
then
is
5.) If
not
m
(2)
and
(3)
is
Recall
(5)
Math
Ph )
the
defined
and
S
the
on
which
natural
successor
N)
N (N
such
es
of
whenever
EN
if
and
imply
ne
is
one
a
P
Feb
Diagram for
Hasse
Ex
:
Lecture
16k
A=
tab
,
c
UEV
Drawing
partial ordered
a
set
Matta tb Ec cfw_ a
MAI is ordered
Notes
,
,
cfw_ a ,b,c
by
E
then
u
is
below
cfw_ 1,2
,
,
0
V
2
de
,
3
p
+
a
cfw_ 1.3 cfw_ 2.3
cfw_ 1.2
't
ext
cfw_1 cfw_
alb
order
18h
Feb
does
Case
X
L
is
taking
dose
and
it
mean
flat
is
finite
a
"
a
=L
0
>
"
"
by
a
taking
whenever
we
means
E
any
every
sides
within
x
E
>O
Ix al

<
,
Negation
Geoff
d
exists
and
x
Ix al
.
not
"
"
a
to
L
by taking
x
close
equal
Hk ) Lk
E
J>
( J

from
Feb
23rd
Lecture
fiat
+2235=5
Prove that
Notes
Thinking
a
en
>o
121<0
o<
Try
12)
with
as
a
that
such
) 51
Kx3+ 2235
divisor
long
find J
want to
we
,
E
<
4+5
Restrict
or to
)
(x3+
=
/
<
E
divisor
)<
( x 2 )x2+
310

22310 )
0<04
then
121<8 
2nd
Feb
His
that
Prove
Base
Case
Inductive
2
E
:
Notes
K

Pal
n=I
:
Step
We want
that
to show
2 VK
true
is
"
,&Vj3I
We
Lecture
VPE
HKH )
2
,
HE
2
1/4<+113
E
that &
assume
VK
,
,"
His
=
l&
Vj2 )
+
)
( 2 He
( By
HKHT
+
,
induction
)
hypothesis
It
to
re