Posted By: klimes () on 'CZphilosophy'
Title:     Re: Jedna aporie.
Date:      Thu Feb 13 19:41:15 1997

Pavle,

> > Jelikoz oba kroky matematicke indukce jsou dokazany, musime konstatovat, 
> > ze kazda vlastni podmnozina N ma nejvetsi a nejmensi prvek, tedy i 
> > mnozina N, protoze je sama svou vlastni podmnozinou. 
> 
> Obavam se, ze pojem "vlastni podmnozina" znamena neco jineho, nez se
> domnivas.
Myslim, e A je vlastni podmnozinou B, jestliz plati implikace - Jestlize 
x je prvkem A pak je prvkem B.
Nevlastni, pokud navic exstuje takove y, ktere je prvkem B a ne A
To sand je spravne?
Jerom
To plati i pro mnozin N

Jeronym Klimes
http://ms.anet.cz/~srpcuns/klimes.htm
srpcuns@ms.anet.cz
Heslo dne: Vivat iustitia, pereat Mundus.
           (At zije spravedlnost, at zhyne svet.)