Graafid ja matemaatiline loogika eksamimaterjal
o [ + 0 = ]
o [ + = ( + )]
o [ 0 = 0]
o [ = + ]
o Kõik valemid kujul 0 &[ ]
Aksioomidest P1-P2 saame, et on olemas lõpmatu
naturaalarvude jada 0, 0 , 0 , 0 , ... . Tavaliselt tähistame
neid arve 0, 1, 2, 3, 4, ... , 2017, ...
Aksioomid P3-P4 defineerivad naturaalarvude liitmise
Aksioomid P5-P6 defineerivad naturaalarvude korrutamise
Induktsiooniskeem P7 annab meile lisaks varasemale veel ühe
taktika väidete tõestamiseks naturaalarvude jaoks:
Me teame, et valem 0 & [ ] on
tõene
Seega on tõestamiseks piisav tõestada kahe
valemi tõesus:
1) 0 (induktsiooni baas),
2) [ ] (induktsiooni samm)
Liitmise assotsiatiivsus
annaabi.ee 
