defincja von Neumanna

[andrzejek_99]

Liczby naturalne mozna definiowac jako zbiory stosujac nastepujaca definicje von Neumanna:

(u mnie w zapisie 0/ oznacza 0 przekreslone, zbior pusty

0 = def 0/
1 = def {0}
n+1 = def {0,1...... n }

Na przykład 2 = {0,1}= {0/,{0}}.

a) zaproponuj algorytm obliczajacy liczbe naturalna n
b) zaproponuj algorytm wyznaczajacy n pierwszych liczb naturalny