Re: Re: Re: Re: Re: Re: Re: Re: Re: Čo je to globalny prediktor?

Jirka | 21.08.2014

Dva případy existujících věcí
1. umíme jejich existenci dokázat
2. neumíme jejich existenci dokázat

Dva případy neexistujících věcí
1. umíme jejich neexistenci dokázat
2. neumíme jejich neexistenci dokázat

Představ si množinu čísel, třeba 1,2,5,8,55.
Dá se dokázat obojí, jak že v této množině nějaké číslo existuje, tak že v ní jiné číslo neexistuje.

Přidat nový příspěvek