( Tautologie )

( Syllogisme ) (
Principe didentit )
AA
( Axiome ) (
Principe de contradiction )
( Jugements synthtiques priori )

( Opration Uniforme )

2 2 4

 1 x + 1 x

2, 3, 4
(1) 1 + 1 = 2;
(2) 2 + 1 = 3;
(3) 3 + 1 = 4.
x + 2 :
(4) x + 2 = ( x + 1 ) + 1.

2 + 2 = ( 2 + 1 ) + 1. ( 4 )
( 2 + 1 ) + 1 = 3 + 1. ( 2 )
3 + 1 = 4.

( 3 )

2 + 2 = 4.

2 + 2 = 4

( LArithmtique )

--- x + 1 1 x
x + a
a x

x + ( a - 1 )
x + a
(1) x + a = [ x + ( a - 1 ) ] + 1.
x + 1 x + ( a - 1 ) x + a
x + 2, x + 3,
(1)

------
a+(b+c)=(a+b)+c
c = 1
a+(b+1)=(a+b)+1

 (1)

(1)
,

c = 1 c = 2 c = 3

---1
a + 1 = 1 + a.
a = 1

a = 1 a = 2 a = 3

2
a + b = b + a,
b = 1

---

(2)

(2) (1) a 1 a 2, a 3,

------
.

 c = 1

--- 1
a = 1

2
b = 1

n = 1 n - 1 n

1
1 2
2
2 3
3

 ( Mineure )
( Majeures )

n - 1 n

6 5
10 9

( Jugement )

( Induction )
1 ,2 ,3,

a + 1 = 1 + a,

a+b=b+a

a + 1 = 1 + a,


(1) a + 2 = 2 + a,

(2) a + 2 = a + 1 + 1 = 1 + a + 1 = 1 + 1 + a = 2 + a.
(1) (2) (2) (1)

(2) (1)

( Ensembles ) ( lments )