Musisz się zalogować

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Musisz zalogować się, by edytować strony.

Wróć do Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną.

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Logika_i_teoria_mnogości/Wykład_12:_Twierdzenie_o_indukcji._Liczby_porządkowe._Zbiory_liczb_porządkowych._Twierdzenie_o_definiowaniu_przez_indukcje_pozaskończoną”