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.)