(1) Kertokaa Zornin lemmasta. Onkohan siitä erilaisia variaatioita? Onko se vielä olemassa -siis tarkoitan, ettei muilla aksioomilla sitä ole johdettu.
(2) Mitkä ovat ylipäätänsä matemaattisen joukko-opin kaikki aksioomat? Käsittääkseni niitä on vähemmän kuin 10 kpl.
(3) Miten rupeatte määrittelemään luonnollisia lukuja? Jotenkin se menee joukkojen mahtavuuksien kautta. "0" tarkoittaa tyhjän joukon mahtavuutta, "1" tarkoittaa jotenkin tyhjän joukon mahtavuutta "0"-alkiota tai jotain sinne päin...
(2) Mitkä ovat ylipäätänsä matemaattisen joukko-opin kaikki aksioomat? Käsittääkseni niitä on vähemmän kuin 10 kpl.
(3) Miten rupeatte määrittelemään luonnollisia lukuja? Jotenkin se menee joukkojen mahtavuuksien kautta. "0" tarkoittaa tyhjän joukon mahtavuutta, "1" tarkoittaa jotenkin tyhjän joukon mahtavuutta "0"-alkiota tai jotain sinne päin...
Vastaukset 1
Vanhimmat
... on vain yksi versio valinta-aksioomasta (Axiom of Choice). Se on todistettavasti erillinen joukko-opin muista aksioomista, mutta kaikki eivat varauksetta suostu kayttamaan sita.
2) Lue kirjasta tai netista.
3) On olemassa monta eri tapaa: ordinaaleilla, kardinaaleilla, Peano-aksioomilla jne. Yleensa idea jotenkin sisaltaa induktion makua.