Zasada dobrego uporządkowania: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
drobne techniczne
drobne techniczne
Linia 1:
'''Zasada dobrego uporządkowania''' – reguła [[matematyka|matematyczna]] mówiąca, że każdy [[zbiór pusty|niepusty]] [[podzbiór]] zbioru [[liczby naturalne|liczb naturalnych]] zawiera element [[elementy najmniejszy i największy|najmniejszy]]<ref>{{cytuj książkę | tytuł =Introduction to Analytic Number Theory | nazwisko = Apostol | imię = Tom | autor link = Tom M. Apostol | rok = 1976 | wydawca = Springer-Verlag | miejsce = Nowy Jork | isbn = 0-387-90163-9 | strony = 13}}</ref>.
 
Wyrażenie „zasada dobrego uporządkowania” traktowana jest czasami jako [[synonim]] wyrażenia „[[twierdzenie ZermeloZermela|twierdzenie o dobrym uporządkowaniu]]”. Niekiedy rozumie się przez nie stwierdzenie, iż zbiór liczb całkowitych zawiera podzbiór [[dobry porządek|dobrze uporządkowany]], nazywany [[liczby naturalne|liczbami naturalnymi]], w którym każdy niepusty podzbiór zawiera element najmniejszy.
 
W zależności od sposobu wprowadzenia liczb naturalnych wspomniana własność (drugiego rzędu) liczb naturalnych jest albo [[aksjomat]]em albo [[twierdzenie]]m, którego można [[dowód|dowieść]]. Przykładowo: