zadanie z logiki sylwia: mając pojęcia poprzednika oraz odejmowania: (a) P(0) = 0 (b) P(Sx) = x (a) z − 0 = z (b) z − Sx = P(z − x) wykaż (używając indukcji), że Sx − x = 1

mario: ciężkie zadanie , dla najlepszych

BEll: Arytmetyka Peano −aksjomaty