Wpis z mikrobloga

@KaenKania: Jak inni zauważyli, doświadczalne wykazywanie tego jest trochę zabawne. Może chodziło mu o dowód matematyczny? Trochę to na siłę, ale definiujesz sobie liczby naturalne, definiujesz operację dodawania i da radę udowodnić.

Od tego możesz zacząć:
http://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogo%C5%9Bci/Wyk%C5%82ad_7:_Konstrukcja_von_Neumanna_liczb_naturalnych%2C_twierdzenie_o_indukcji%2C_zasady_minimum%2C_maksimum%2C_definiowanie_przez_indukcje